Application NotesΒΆ
This appendix contains copies of the Yosys application notes.
Yosys AppNote 010: Converting Verilog to BLIF Page
Yosys AppNote 011: Interactive Design Investigation Page
Yosys AppNote 012: Converting Verilog to BTOR Page
[app:010]
[app:011]
[app:012]