The-OpenROAD-Project
ABC: System for Sequential Logic Synthesis and Formal Verification
Updated 2026-03-01 12:45:30 +08:00