Cycle-sensitive register coverage guiding
TechniqueCycle-sensitive register coverage guiding is a technique developed in DIFUZZRTL for RTL fuzzing of CPU designs. In the DifuzzRTL paper, it is presented as one of several techniques added to address RTL-specific characteristics, alongside register-coverage guided fuzzing, asynchronous interrupt event handling, a unified CPU input format with Tilelink protocols, and drop-in-replacement designs for multiple CPU RTLs.
WIKI
Cycle-sensitive register coverage guiding
Cycle-sensitive register coverage guiding is an RTL fuzzing technique described in the paper DifuzzRTL: Differential Fuzz Testing to Find CPU Bugs and used in DIFUZZRTL. The paper presents it as one of several methods introduced to account for the distinctive characteristics of RTL CPU designs.[1][2]
Context in DIFUZZRTL
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →