Popular repositories Loading

1. generic-sqed-demo generic-sqed-demo Public

   Verilog 13 3

2. aqed-dac2020-results aqed-dac2020-results Public

   Source files to reproduce the results shown for A-QED at DAC 2020

   C++ 8 3

3. hslink_phy hslink_phy Public

   Verilog functional model for PHY

   Python 7 6

4. case-studies case-studies Public

   Case studies

   Verilog 5 2

5. ridecore-si-checking ridecore-si-checking Public

   Single instruction checking for RIDECORE

   Verilog 4 1

6. aqed-decomp-FMCAD2021 aqed-decomp-FMCAD2021 Public

   Experiments related to our FMCAD 2021 paper "Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition"

   C 4