Popular repositories Loading

1. DatapathBench DatapathBench Public

   A collection of datapath circuit design and verification benchmarks

   SMT 19

2. CIRCT_TUTORIAL_2026 CIRCT_TUTORIAL_2026 Public

   A basic introduction to the CIRCT project that is based on MLIR, covering the Verilog front-end, applying basic passes, logical equivalence checking to verify your design and synthesis.

   MLIR 1 1

3. samuelcoward samuelcoward Public

   Personal Website

4. cowardsa.github.io cowardsa.github.io Public

   Personal website for Samuel Coward

   HTML

5. extraction-gym extraction-gym Public

   Forked from egraphs-good/extraction-gym

   Rover Testcases for Extraction Gym

   Rust

6. circt circt Public

   Forked from llvm/circt

   Circuit IR Compilers and Tools

   C++