write_functional_smt2 - Generate SMT-LIB from Functional IR¶
- yosys> help write_functional_smt2¶
Functional SMT Backend.
Back to top