Popular repositories Loading

1. Formal-Verification-of-an-AHB2APB-Bridge Formal-Verification-of-an-AHB2APB-Bridge Public

   Forked from Ghonimo/Formal-Verification-of-an-AHB2APB-Bridge

   Assertion-Based Formal Verification of an AHB2APB bridge, featuring SystemVerilog assertions, RTL designs, and detailed documentation including a final report and project progression presentation.

   SystemVerilog 2

2. SystemVerilog_Course SystemVerilog_Course Public

   Forked from mbits-mirafra/SystemVerilogCourse

   This is a detailed SystemVerilog course

   SystemVerilog 1

3. easyformal-site easyformal-site Public

   CSS

4. circt circt Public

   Forked from llvm/circt

   Circuit IR Compilers and Tools

   C++

5. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM

6. slang slang Public

   Forked from MikePopoloski/slang

   SystemVerilog compiler and language services

   C++