openCoho
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
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.