2 results found Sort:

ben-marshall
awesome-open-hardware-verification ben-marshall
46
459
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 9 months ago
chiselverify
chiselverify chiselverify
21
136
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
232 commits to master branch, last one 26 days ago