| # `clocks` tests | |
| This directory contains test for the clock detection functionality for the | |
| `vlog_to_model.py` and `vlog_to_pbtype.py` tool. | |
| ## Detection of clock signals | |
| - [ ] Signal name matches the regexp `[a-z_]*clk[a-z0-9]*$` | |
| - [ ] Manually set via the `(* CLOCK *)` or `(* CLOCK=1 *)` Verilog attribute. | |
| - [ ] Manually cleared via the `(* CLOCK=0 *)` 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. | |