chiselverify/chiselverify

A dynamic verification library for Chisel.

Language: Scala - Size: 5.12 MB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 148 - Forks: 23

chiselverify/jUvm

Verification of digital circuits in Java and Scala

Language: Scala - Size: 4.88 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

chiselverify/explore-cocotb

Play around ith coctb and pyuvm

Language: Python - Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

chiselverify/class2020

Material for the class on verification of digital designs

Language: Scala - Size: 7.61 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 3

chiselverify/documentation

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

Language: TeX - Size: 18.8 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 2

chiselverify/otherverify

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

Language: SystemVerilog - Size: 61.5 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

chiselverify/hwsw-trade-off

Hardware/Software Trade-off for the Reduction of Energy Consumption

Size: 2.93 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 1

chiselverify/vhdl2verilog

Language: VHDL - Size: 5.86 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 2

chiselverify/Docker

Repository for Dockerfiles

Language: Scala - Size: 6.84 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1