openCoho

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes

Sur openCoho

Coho est une plate-forme d’analyse de la reachability pour les systèmes hybrides non ligneux de haute dimension, en particulier pour la vérification des circuits analogiques. Ces outils ont été appliqués pour vérifier de nombreux circuits, y compris le basculement, arbitre, flipflop, célément, oscillateur, etc.