CARRY tests

This directory contains test for the v2x_to_model.py and v2x_to_pb_type tools. The tests use models from other dsp test. 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

Combinational connections

• [ ] automatic inferrence of combinational connections between input and output ports

Carry chain interence

• [ ] carry chains inferrence - carry chains defined on wires with carry attribute should be propagated to pb_type xml file

Timings

• [ ] all the timings defined in Verilog should be propagated to result pb_type file