Popular repositories Loading

1. yosys_rtl-netlist_sequential_cec yosys_rtl-netlist_sequential_cec Public

   Yosys & ABC script for sequential equivalence checking for RTL and Synthesized netlist

   Verilog 5

2. hal hal Public

   Forked from emsec/hal

   HAL – The Hardware Analyzer

   C++

3. obsidian_vault_template_for_researcher obsidian_vault_template_for_researcher Public

   Forked from sheldonxxd/obsidian_vault_template_for_researcher

   This is an vault template for researchers using obsidian.

   JavaScript

4. test_4_hls_identify_ctrl-data-reg test_4_hls_identify_ctrl-data-reg Public

5. btor2graph btor2graph Public

   Python 1

6. E-Syn E-Syn Public

   Forked from Gy-Hu/E-Syn

   E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

   C