YosysHQ Application Notes
=========================

FAQs and Flows
--------------

- `011 Tabby CAD FAQs for Formal Use <https://yosyshq.readthedocs.io/projects/ap011>`_

.. - 012 Tabby CAD Introduction and FAQs for FPGA Synthesis Use
.. - 013 Tabby CAD Introduction and FAQs for ASIC Synthesis Use
.. - 021 FAQ and Tabby CAD Suite Migration Guide for Jasper Gold Users
.. - 022 FAQ and Tabby CAD Suite Migration Guide for OneSpin 360 Users
.. - 023 FAQ and Tabby CAD Suite Migration Guide for VC Formal Users
.. - 024 FAQ and Tabby CAD Suite Migration Guide for Questa Formal Users
.. - 041 FAQ and Tabby CAD Suite Migration Guide for Xilinx Vivado Users
.. - 081 FAQ and Manual for the Project Icestorm Lattice iCE40 FPGA Flow
.. - 082 FAQ and Manual for The Project Trellis Lattice ECP5 FPGA Flow

Formal Basics and Methods
-------------------------

.. - 100 Intro to Formal Verification
.. - 101 Using SymbiYosys (SBY)
.. - 102 Importing complex multi-language projects
.. - 105 Formal Property Checking Basics
.. - 106 Writing formal test-benches
.. - 107 Adding Properties with Bind
.. - 108 Building regex-based checker FSMs

- `109 Property Checking with SVA <https://yosyshq.readthedocs.io/projects/ap109>`_
- `120 Weak precondition cover and witness for SVA properties <https://yosyshq.readthedocs.io/projects/ap120>`_
- `123 Advanced SBY Use by Example <https://yosyshq.readthedocs.io/projects/ap123>`_
- `130 Multi-Stage Verification <https://yosyshq.readthedocs.io/projects/ap130>`_

..
  Formal Abstractions
  -------------------

  - 200 Intro to using and writing abstractions
  - 201 Counter abstractions
  - 202 Reset abstractions
  - 204 Memory abstractions
  - 205 FIFO abstractions
  - 220 Data transport abstraction with Wolper method
  - 221 Data transport abstraction with existential path quantifier

Formal Off-the-Shelf VIP
------------------------

.. - 300 Intro to Off-the-Shelf Formal Verification IP (VIP)
.. - 310 Using the YosysHQ Qicktrace Formal Primitives (QTFP) Library

- `320 Using the YosysHQ AXI4-Lite formal VIP <https://yosyshq.readthedocs.io/projects/ap320>`_

Mutation Coverage with Yosys (MCY)
----------------------------------

- `400 Intro to Mutation Coverage with Yosys (MCY) <https://yosyshq.readthedocs.io/projects/ap400>`_

..
  Equivalence Checking with Yosys (EQY)
  -------------------------------------

  - 500 Intro to Equivalence Checking with Yosys (EQY)

  Fast CXXRTL Simulation with Yosys (CXY)
  ---------------------------------------

  - 600 Intro to Fast CXXRTL Simulation with Yosys (CXY)

  Example Projects and Demonstrators
  ----------------------------------

  - 900 Intro to YosysHQ Example Projects and Demonstrators