# PrincetonUniversity/AutoSVA

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

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

PrincetonUniversity/AutoSVA has 105 stars on GitHub. Its RepoMasters card: Prototype tier. AutoSVA is a tool to automatically generate formal testbenches for…

| Field | Value |
| --- | --- |
| Owner | [PrincetonUniversity](https://repo.masters-masters.com/en/owners/PrincetonUniversity) |
| Stars | 105 |
| Forks | 29 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | None |
| Created | 2021 |
| Topics | design, verification, rtl, verilog, systemverilog, sva, methodology-development |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [PrincetonUniversity/AutoSVA](https://github.com/PrincetonUniversity/AutoSVA) |

## Repository

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.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by PrincetonUniversity

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

## Nearby in Python

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.