fig28-lutff-pair test

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 dependency models and pb_types are included in the output files

Carry chain inference

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