Search Results - RepositoryStats

66

371

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

261 commits to main branch, last one about a month ago

24

141

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 5 days ago

2

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