![](/statics/img/blank.png)
Automated Reasoning for Bluespec Designs
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 2 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 Automated Reasoning for Bluespec Designs
Cette page contient des outils pour appliquer le raisonnement automatisé aux conceptions matérielles Bluespec SystemVerilog (BSV). Nous fournissons du code pour l’importation de conceptions BSV dans le prover de theorème PVS et le checker modèle SAL.