tests/vtr/lutff-pair/README.rst

LUT with FlipFlop Example
+++++++++++++++++++++++++

An example of the classical LUT with FlipFlop pair shown in |fig31|_ of the `"Architecture Reference" <https://docs.verilogtorouting.org/en/latest/arch/reference/#architecture-reference>`_ section of the Verilog to Routing Documentation demonstrating the `<pack_pattern>` tag.

.. |fig31| replace:: ``Figure 31 - Pack Pattern Example``
.. _fig31: https://docs.verilogtorouting.org/en/latest/arch/reference/#id35

.. image:: lutff-pair.png
   :alt: Figure 31 from Verilog to Routing Documentation

*Fig. 31 - Pack Pattern Example*

|

.. symbolator:: pair.sim.v

.. verilog-diagram:: pair.sim.v
   :type: netlistsvg
   :module: PAIR

|

.. no-license::  pair.sim.v
   :language: verilog
   :caption: pair.sim.v

.. no-license:: pair.model.xml
   :language: xml
   :caption: pair.model.xml

.. no-license:: pair.pb_type.xml
   :language: xml
   :caption: pair.pb_type.xml

Blackbox detection
------------------

* Model of the leaf ``pb_type`` is generated
* Leaf ``pb_type`` XML is generated
* All dependency models and ``pb_type``\ s are included in the output files

Carry chain inference
---------------------

* ``pack_pattern`` inference - ``pack_pattern``\ s defined on wires with ``pack`` attributes should be propagated to ``pb_type`` XMLs