![](/statics/img/blank.png)
Automated Reasoning for Bluespec Designs
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 2 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Automated Reasoning for Bluespec Designs
Ta strona zawiera narzędzia do stosowania automatycznego rozumowania do projektów sprzętowych Bluespec SystemVerilog (BSV). Dostarczamy kod do importowania projektów BSV do twierdzy PVS prover i kontrolera modelu SAL.