# PrincetonUniversity/AutoSVA

<https://repo.masters-masters.com/repos/PrincetonUniversity/AutoSVA>

[Accueil](https://repo.masters-masters.com/) › [PrincetonUniversity](https://repo.masters-masters.com/owners/PrincetonUniversity) › [AutoSVA](https://repo.masters-masters.com/repos/PrincetonUniversity/AutoSVA)

PrincetonUniversity/AutoSVA, dépôt open source à 105 étoiles sur GitHub. Carte Prototype de RepoMasters. AutoSVA is a tool to automatically generate formal…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [PrincetonUniversity](https://repo.masters-masters.com/owners/PrincetonUniversity) |
| Étoiles | 105 |
| Forks | 29 |
| Langage | [Python](https://repo.masters-masters.com/languages/python) |
| Licence | Aucune |
| Création | 2021 |
| Sujets | design, verification, rtl, verilog, systemverilog, sva, methodology-development |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [PrincetonUniversity/AutoSVA](https://github.com/PrincetonUniversity/AutoSVA) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de PrincetonUniversity

- [PrincetonUniversity/openpiton · ★ 838 · Assembly · Bêta](https://repo.masters-masters.com/repos/PrincetonUniversity/openpiton)
- [PrincetonUniversity/VST · ★ 516 · Rocq Prover · Alpha](https://repo.masters-masters.com/repos/PrincetonUniversity/VST)
- [PrincetonUniversity/athena · ★ 376 · C++ · Alpha](https://repo.masters-masters.com/repos/PrincetonUniversity/athena)
- [PrincetonUniversity/multi\_gpu\_training · ★ 375 · Python · Alpha](https://repo.masters-masters.com/repos/PrincetonUniversity/multi_gpu_training)
- [PrincetonUniversity/LLMCompass · ★ 296 · Python · Alpha](https://repo.masters-masters.com/repos/PrincetonUniversity/LLMCompass)
- [PrincetonUniversity/prga · ★ 212 · SCSS · Prototype](https://repo.masters-masters.com/repos/PrincetonUniversity/prga)

## D’autres dépôts Python

- [ozguradmin/ahenk-turkish-tts · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/ozguradmin/ahenk-turkish-tts)
- [h0ll0w-AkuZr0guY/MiaoTask · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/h0ll0w-AkuZr0guY/MiaoTask)
- [SuperBigFatDog/mcd-nearest-deal · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/SuperBigFatDog/mcd-nearest-deal)
- [infogami/infogami · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/infogami/infogami)
- [lig/pystardict · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/lig/pystardict)
- [mattball/doxyclean · ★ 105 · Python · Prototype](https://repo.masters-masters.com/repos/mattball/doxyclean)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.