ben-marshall / awesome-open-hardware-verification Star 507 Code Issues Pull requests A List of Free and Open Source Hardware Verification Tools and Frameworks python coverage awesome hardware vhdl verification verilog awesome-list formal-verification constrained-random-verification Updated Sep 8, 2023
chiselverify / chiselverify Star 145 Code Issues Pull requests Discussions A dynamic verification library for Chisel. testing coverage scala verification chisel constrained-random-verification functional-coverage bus-functional-model chisel-test timed-assertions Updated Nov 9, 2024 Scala
amamory-verification / uvm-basics Star 29 Code Issues Pull requests my UVM training projects systemverilog uvm verification-methodologies constrained-random-verification Updated Mar 14, 2019 Verilog
Rex1110 / AES-128 Star 0 Code Issues Pull requests SystemVerilog implementation of AES-128 encryption and decryption , designed for resource efficiency aes rtl aes-128 systemverilog assertion sva constrained-random-verification directed-testing Updated Jan 30, 2025 SystemVerilog