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.