All

8 repositories

chiselverify
Public
A dynamic verification library for Chisel.
testing coverage scala
testing coverage scala verification chisel constrained-random-verification functional-coverage bus-functional-model chisel-test timed-assertions
Scala
•
BSD 2-Clause "Simplified" License
•23•161•8•0•Updated Nov 9, 2024Nov 9, 2024
jUvm
Public
Verification of digital circuits in Java and Scala
Scala
•0•2•0•0•Updated Sep 11, 2024Sep 11, 2024
explore-cocotb
Public
Play around ith coctb and pyuvm
Python
•0•2•0•0•Updated Aug 9, 2023Aug 9, 2023
documentation
Public
Documentation surrounding the ChiselVerify project. This includes presentations and research papers written on the topic.
documentation scala research
documentation scala research verification chisel
TeX
•2•8•0•0•Updated Oct 23, 2022Oct 23, 2022
otherverify
Public
Examples of verification solutions (e.g., UVM, cocotb,...)
SystemVerilog
•
BSD 2-Clause "Simplified" License
•0•6•0•0•Updated Oct 21, 2022Oct 21, 2022
class2020
Public
Material for the class on verification of digital designs
Scala
•
BSD 2-Clause "Simplified" License
•3•6•0•0•Updated Feb 23, 2021Feb 23, 2021
Docker
Public
Repository for Dockerfiles
Scala
•1•0•0•0•Updated Oct 30, 2020Oct 30, 2020
vhdl2verilog
Public
VHDL
•5•19•0•0•Updated Aug 30, 2020Aug 30, 2020

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.