Skip to content
STIMSMITH

Branch Coverage Instrumentation

Technique
First seen 6/11/2026
Last seen 6/11/2026
Evidence 2 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
Basic Block (BB) uses → 90% 2e
Branch coverage instrumentation tracks which basic blocks have been accessed.
The paper uses branch coverage instrumentation within the CFG construction step.
Verilog Programming Interface (VPI) uses → 90% 1e
Branch coverage instrumentation uses VPI to monitor basic block access.