Popular repositories Loading

1. assertion_data_for_LLM assertion_data_for_LLM Public

   Verilog 20 4

2. eda_software_server eda_software_server Public

   EDA Software Repository for Computer Engineering in ECE@UIC

   1

3. EPFL_Benchmarks EPFL_Benchmarks Public

   Forked from lsils/benchmarks

   EPFL logic synthesis benchmarks

   Verilog

4. allo allo Public

   Allo DSL for hardware accelerator design

   Python

5. xilinx_tutorial xilinx_tutorial Public

   A repository including the setup documentation for xilinx tools on the achieve servers, as well as files for an out-of-the-box example for vector addition acceleration.

   VHDL

6. UTGenDebug UTGenDebug Public

   Forked from archiki/UTGenDebug

   Code for our paper "Learning to Generate Unit Tests for Automated Debugging"

   Python