GF-Synth — Yosys Synthesis Skill

Tool Detection

which yosys

If not found:

---GATEFLOW-RESULT---
STATUS: ERROR
DETAILS: Yosys not installed. Install to enable synthesis.
  macOS: brew install yosys
  Linux: sudo apt install yosys
---END-GATEFLOW-RESULT---

Pre-Synthesis SV Subset Check