tree: 13e3b95d0979f625caeaab620d4dae7171937273
  1. cblock/
  2. carry.sim.v
  3. golden.model.xml
  4. golden.pb_type.xml
  5. README.md
tests/carry/README.md

carry tests

This directory contains test for the v2x_to_model.py and v2x_to_pb_type tools. The tests use model defined in CBLOCK 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

  • [ ] automatic inference of carry chains - carry chains defined on ports of included blocks should be propagated to top level module