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.
RepositoryStats indexes 579,555 repositories, of these PrincetonUniversity/AutoSVA is ranked #357,042 (38th percentile) for total stargazers, and #296,754 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #66,952/115,123.
There have been 1 release, the latest one was published on 2023-11-27 (11 months ago) with the name Reproduce Evaluation of DAC'21 paper.
Homepage URL: https://blog.yosyshq.com/p/community-spotlight-autosva/
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
10 commits on the default branch (master) since jan '22
Yearly Commits
Commits to the default branch (master) per year
Issue History
Languages
The primary language is Python but there's also others...
updated: 2024-10-10 @ 11:09am, id: 353737142 / R_kgDOFRWZtg