Coho è una piattaforma di analisi della raggiungibilità per sistemi ibridi non lineari ad alta dimensione, in particolare per la verifica del circuito analogico. Questo strumenti è stato applicato per verificare molti circuiti, tra cui interruttore, arbitro, flipflop, celement, oscillatore, ecc.
cronologia delle versioni
- Versione N/A pubblicato il 2011-01-14
Diverse correzioni e aggiornamenti - Versione N/A pubblicato il 2011-01-14
Dettagli del programma
- Categoria: Rete & Internet > Altro
- Editore: coho.sf.net
- Licenza: Gratuito
- Prezzo: N/A
- Versione: Array
- Piattaforma: linux