.. _chapter:appnotes:

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]