Search Results - RepositoryStats

68

377

bsd-3-clause

15

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

hdl rtl hardware framework simulator verification hardware-design hardware-verification

Created 2021-09-22

267 commits to main branch, last one 4 days ago

24

144

mit

14

A Platform for High-Level Parametric Hardware Specification and its Modular Verification

coq bluespec proof-assistant hardware-verification hardware-description-language

Created 2017-07-11

1,470 commits to rv32i branch, last one 2 months ago

3

55

unknown

23

This repo is created to include illustrative examples on object oriented design pattern in SV

systemverilog design-patterns hardware-verification

Created 2022-02-21

52 commits to master branch, last one about a year ago