Popular repositories Loading

1. PdatRiscvDsl PdatRiscvDsl Public

   A DSL for Specifying RISC-V ISA Subsets

   Python

2. PdatCoreSim PdatCoreSim Public

   Repository for simulating cores with different ISA-level controllability don't cares.

   SystemVerilog 1

3. PdatScorr PdatScorr Public

   Implements PDAT methodology using ABC's scorr as its signal-correspondence primitive

   Python

4. RtlScorr RtlScorr Public

   A Yosys pass to perform scorr on RTLIL.

   C++

5. PdatScorrWrapper PdatScorrWrapper Public

   A wrapper repo for PdatScorr.