Automate ABC-driven logic optimization on Yosys BLIF outputs.
npx skills add https://github.com/amoslee2026/Babel --skill bb-invoke-abc
Please help me install this Agent Skill. Skill: bb-invoke-abc Source: https://github.com/amoslee2026/Babel/tree/main/.claude/skills/bb-invoke-abc Command: npx skills add https://github.com/amoslee2026/Babel --skill bb-invoke-abc
This skill enables independent invocation of ABC to perform logic optimization on Yosys BLIF outputs, allowing targeted improvements when integrated flows do not meet timing or area goals.
Provide the input BLIF, Liberty library, and design name to trigger an ABC optimization run.
High-intent search queries and answers about installing and using this skill.
To optimize logic in a Yosys BLIF file using ABC, provide the BLIF input, a Liberty technology library, and a design name to trigger an automated ABC optimization run for improved area and delay.
ABC-driven logic synthesis is used for targeted improvements in RTL optimization when general synthesis passes underperform, applying high-effort ABC command sequences to Yosys BLIF outputs to meet strict timing or area constraints.
Yes, you can use custom ABC scripts for logic refinement by passing optional script parameters along with your BLIF input and Liberty library, allowing scriptable logic refinement with standard ABC command sequences.
Running an independent ABC optimization flow requires a BLIF input file, a Liberty technology library, and a design name, while optional script and stamp parameters can be provided to customize the high-effort optimization.
An ABC logic optimization run outputs the artifact path, script path, and log path, along with specific optimization metrics that quantify the improvements achieved in area and delay for your design.
chuanseng-ngSynthesize RTL to gate-level netlists with SDC validation and LEC verification.
babywormRun Yosys synthesis estimation to detect latches and unmapped cells.
ShenShan123Acquire RTL designs and synthesize them into pre-layout graphs.
markusstrasserOrchestrate MCP tools to gather, verify, and synthesize research evidence.
