Submit Software
  1. Home
  2. Linux
  3. Other
  4. openCoho

openCoho

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes
Download

Coho is a reachability analysis platform for high-dimensional, nonlinear hybrid systems, especially for analog circuit verification.This tools has been applied to verify many circuits, including toggle, arbiter, flipflop, celement, oscillator, etc.

VERSION HISTORY

  • Version N/A posted on 2011-01-14
    Several fixes and updates
  • Version N/A posted on 2011-01-14

Program Details

Related Programs

  • LSN Open Source Browser Free

    LSN Open Source Browser is what is says on the tin. it is powered by IE. It was build in VB6 and the code is available on the web site for it. The code is distributed via the GPL Licence agreement. If you would like to join i

  • CIwY Free

    CIwY (CodeIgniter wrapper for YUI) is a YAHOO! User Interface wrapper, based on CodeIgniter Framework. NOTE: The project changed his name in PHP Blasty

  • EQNM2L Free

    Extended Queueing Networks Modeling and Markup Language is a formalism (abstract + concrete) syntaxes + XML-based interchange format for high level interoperability between analysis and simulation tools, Automatic generated I

  • SenderOK Free

    SenderOK is the email management software that maps all unread messages for your Outlook and Webmail accounts. It ranks incoming emails, labels them as VIP, Important and Routine and places their virtual copies to the corresp

  • Xanga Archive Free

    An implementation of a Xanga Archiver written in Python.Current version allows downloading of Private/Protected posts using Firefox cookies.

  • Xoops2 Torrent, Tracker/Announce Server Free

    x-Torrents is a comprehensives module for xoops that allows for uploading and submission of external torrents. x-Torrent is a module which offer full control of torrents in xoops, it will poll and provide a tracker to your xo

  • ThreeFour Free

    ThreeFour is a Desktop Reporting (Select-equivalent) tool for Evologic, Tahoe, Aurora, Papillon, Dungeon, Cosmo, Sigma, Maverick, Riverdance, Dejavu, Phalanx, Fandango, Enzo and Okimado.

  • Madam Free

    Madam, the TIGR MicroArray Data Manager, is a database interface toolfor microarray data. Madam provides a database schema which is essentialfor its operation, and drivers for MySQL and Sybase.

  • Smooth Fitness Discount Code Free

    Though the video workout is not new, it has been prevailed in the fitness arena for approx 3 decades now.http://loseweight.lossweightnow.net/2011/03/07/general_idea_about_treadmills/

  • QDC Free

    QDC (quick direct-method controlled) is an optimized exact implementation of the Gillespie's direct-method. It is designed for biochemical simulations when there is the need of dynamic parameters whose values can change durin