CARRY tests

This directory contains test for the v2x_to_model.py and v2x_to_pb_type tools. 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

Combinational connections

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

Carry chain inference

• [ ] carry chains inference - 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