| # `clocks` tests | |
| This directory contains test for the clock detection functionality for the | |
| `v2x_to_model.py` tool. | |
| ## Detection of clock signals | |
| - [ ] Signal is named `clk`. | |
| - [ ] Signal has `clk` in the name. | |
| - [ ] Manually set via the `(* CLOCK *)` Verilog attribute. | |
| - [ ] Signal drives synchronous logic (IE flipflop). | |
| - [ ] Detection in recursive module includes. | |
| ## Detection of clock association | |
| - [ ] Clock comes from synchronous logic | |
| - [ ] Manually associated via `(* ASSOC_CLOCK="<clock signal"> *)` Verilog | |
| attribute. | |
| - [ ] Detection in recursive module includes. | |