-
-
chestercc1997.github.io Public
Forked from bamos/bamos.github.ioJavaScript MIT License UpdatedOct 4, 2025 -
Yosys & ABC script for sequential equivalence checking for RTL and Synthesized netlist
-
-
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedJul 25, 2025 -
-
-
OpenROAD-flow-scripts Public
Forked from The-OpenROAD-Project/OpenROAD-flow-scriptsOpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
Verilog Other UpdatedApr 29, 2025 -
E-Syn Public
Forked from Gy-Hu/E-SynE-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)
C UpdatedApr 17, 2024 -
MiniTNtk-An-Exact-Synthesis-based-Method-for-Minimizing-Transistor-Network Public
Forked from FCHXWH/MiniTNtk-An-Exact-Synthesis-based-Method-for-Minimizing-Transistor-NetworkMiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network (ICCAD'23)
C++ UpdatedFeb 26, 2024 -
-
-
-
obsidian_vault_template_for_researcher Public
Forked from sheldonxxd/obsidian_vault_template_for_researcherThis is an vault template for researchers using obsidian.
JavaScript GNU General Public License v3.0 UpdatedNov 2, 2022
{{ message }}