| # `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. |
| |