kmurray

vtr-verilog-to-routing

Verilog to Routing -- Open Source CAD Flow for FPGA Research

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

ezgl