2 results found Sort:

ben-marshall
awesome-open-hardware-verification ben-marshall
48
498
mit
43
A List of Free and Open Source Hardware Verification Tools and Frameworks
vhdl python awesome verilog coverage hardware awesome-list verification formal-verification constrained-random-verification
Created 2018-12-21
75 commits to master branch, last one about a year ago
chiselverify
chiselverify chiselverify
23
142
bsd-2-clause
12
A dynamic verification library for Chisel.
scala chisel testing coverage chisel-test verification timed-assertions functional-coverage bus-functional-model constrained-random-verification
Created 2020-05-27
233 commits to master branch, last one about a month ago