openCoho

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

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.

historique de la version

  • Version N/A posté sur 2011-01-14
    Plusieurs correctifs et mises à jour
  • Version N/A posté sur 2011-01-14

Détails du programme