Repositories list

• chiselverify

  Public
  A dynamic verification library for Chisel.

  chiselconstrained-random-verificationfunctional-coverage+ 7bus-functional-modelchisel-testtimed-assertionstestingcoveragescalaverification

  Scala

  •

  BSD 2-Clause "Simplified" License

  •23•142•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.

  documentationscalaresearch+ 2verificationchisel

  TeX

  •2•7•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•5•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

  •4•14•0•0•Updated Aug 30, 2020Aug 30, 2020