PrototypeCommune
PrincetonUniversity/AutoSVA
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.
- Propriétaire
- PrincetonUniversity (organisation)
- Étoiles
- Étoiles : 105
- Forks
- Forks : 29
- Langage
- Python
- Licence
- Aucune
- Création
- 2021
- Sujets
- designverificationrtlverilogsystemverilogsvamethodology-development
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de PrincetonUniversity
Les 14 dépôts de PrincetonUniversity- PrincetonUniversity/openpitonÉtoiles : 838AssemblyBêta
- PrincetonUniversity/VSTÉtoiles : 515Rocq ProverAlpha
- PrincetonUniversity/athenaÉtoiles : 376C++Alpha
- PrincetonUniversity/multi_gpu_trainingÉtoiles : 375PythonAlpha
- PrincetonUniversity/LLMCompassÉtoiles : 295PythonAlpha
- PrincetonUniversity/prgaÉtoiles : 212SCSSPrototype
D’autres dépôts Python
Tous les dépôts Python- ozguradmin/ahenk-turkish-ttsÉtoiles : 105PythonPrototype
- SuperBigFatDog/mcd-nearest-dealÉtoiles : 105PythonPrototype
- arantes-gabs/fora-de-cenaÉtoiles : 105PythonPrototype
- infogami/infogamiÉtoiles : 105PythonPrototype
- lig/pystardictÉtoiles : 105PythonPrototype
- mattball/doxycleanÉtoiles : 105PythonPrototype