Search Results - RepositoryStats

75

415

bsd-3-clause

13

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

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

kami mit-plv

26

152

mit

13

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 7 months ago

Design-Pattern-in-SV hanysalah

4

56

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 2 years ago

rohd-vf intel

14

41

bsd-3-clause

5

The ROHD Verification Framework is a hardware verification framework built upon ROHD for building testbenches.

hardware framework verification hardware-verification

Created 2021-11-09

49 commits to main branch, last one 3 months ago

awesome-formal-verification ElNiak

2

25

cc0-1.0

2

Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researc...

model tools awesome testing awesome-list verification formal-methods model-checking proof-assistant formal-languages awesome-resources formal-verification formal-specification network-verification hardware-verification

Created 2024-08-08

10 commits to main branch, last one 2 months ago