00

Cycle-Sensitive Register Coverage

Technique ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 4 chunks

01

NEIGHBORHOOD

3 nodes · 3 edges

graph · Cycle-Sensitive Register Coverage · depth=1

02

RELATIONSHIPS

2 connections

Control Register uses → 100% 2e evidence

Cycle-sensitive register coverage measures control register values at every clock cycle.

DiFuzzRTL ← implements 100% 2e evidence

DIFUZZRTL implements cycle-sensitive register coverage as a key feature of its coverage metric.