tree: 2adf64659aae426514d1e11ffab4064098db22ba [search]
  1. ff/
  2. lut/
  3. golden.model.xml
  4. golden.pb_type.xml
  5. pair.sim.v
  6. README.md
tests/fig28-lutff-pair/README.md

PAIR tests

This directory contains test for the v2x_to_model.py and v2x_to_pb_type tools. The tests use models defined in ff, lut and omux tests. Those tests should check the following features:

Blackbox detection

  • [ ] model of the leaf pb_type is generated
  • [ ] leaf pb_type xml is generated
  • [ ] all dependecy models and pb_types are included in the output files

Carry chain interence

  • [ ] pack_pattern inferrence - pack_patterns defined on wires with pack attributes should be propagated to pb_type xmls