2 results found Sort:

PrincetonUniversity
AutoSVA PrincetonUniversity
24
75
other
6
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 l...
rtl sva design verilog verification systemverilog methodology-development
Created 2021-04-01
18 commits to master branch, last one 8 months ago
Quantum-Dynamics-Hub
libra-code Quantum-Dynamics-Hub
47
51
gpl-3.0
11
This repository has no description...
library quantum dynamics utilities nonadiabatic do-it-yourself atomic-orbitals object-oriented quantum-chemistry molecular-dynamics electronic-structure semiempirical-methods methodology-development
Created 2017-08-24
2,080 commits to master branch, last one about a month ago