Repositories list

• aqed-decomp-FMCAD2021

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

  C

  •0•5•1•0•Updated Apr 13, 2022Apr 13, 2022

• eqed-artifact

  Public
  Python

  •1•1•2•0•Updated Aug 18, 2021Aug 18, 2021

• ridecore-si-checking

  Public
  Single instruction checking for RIDECORE

  Verilog

  •1•4•0•0•Updated Jun 2, 2021Jun 2, 2021

• generic-sqed-demo

  Public
  Verilog

  •

  BSD 3-Clause "New" or "Revised" License

  •3•13•1•0•Updated Feb 6, 2021Feb 6, 2021

• sqed-generator

  Public
  Python-based workflow to generate QED modules from ISA/architecture specifications

  Verilog

  •3•3•2•0•Updated Feb 6, 2021Feb 6, 2021

• cosa2

  Public
  Next generation CoSA.

  C++

  •

  Other

  •0•3•0•0•Updated Jan 27, 2021Jan 27, 2021

• aqed-dac2020-results

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

  C++

  •3•7•3•0•Updated Jul 29, 2020Jul 29, 2020

• case-studies

  Public
  Case studies

  Verilog

  •2•5•2•0•Updated Jul 17, 2019Jul 17, 2019

• hslink_phy

  Public
  Verilog functional model for PHY

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •6•7•0•0•Updated Jun 27, 2019Jun 27, 2019