| ## Adder tests | |
| This directory contains test for the blackbox detection for the | |
| `v2x_to_model.py` and `v2x_to_pb_type` tools. | |
| ## Detection of combinational connections | |
| - [ ] output has combinational connection with input | |
| ## Blackbox detection | |
| - [ ] model of the leaf pb\_type is generated | |
| - [ ] leaf pb\_type xml is generated | |
| ## Timings | |
| - [ ] all the timings defined for wires with attributes should be included in pb\_type xml |