chiselverify

chiselverify

Geek Repo

Github PK Tool:Github PK Tool

chiselverify's repositories

chiselverify

A dynamic verification library for Chisel.

Language:ScalaLicense:BSD-2-ClauseStargazers:137Issues:12Issues:13

documentation

Documentation surrounding the ChiselVerify project. This includes presentations and research papers written on the topic.

Language:TeXStargazers:7Issues:5Issues:0

otherverify

Examples of verification solutions (e.g., UVM, cocotb,...)

Language:SystemVerilogLicense:BSD-2-ClauseStargazers:6Issues:3Issues:0

class2020

Material for the class on verification of digital designs

Language:ScalaLicense:BSD-2-ClauseStargazers:4Issues:5Issues:0

explore-cocotb

Play around ith coctb and pyuvm

Language:PythonStargazers:2Issues:2Issues:0

Docker

Repository for Dockerfiles

Language:ScalaStargazers:0Issues:4Issues:0