00

Backward Data-Flow Analysis

Technique ☆ WATCH ⎘ SHARE

First seen 6/9/2026

Last seen 6/9/2026

Evidence 2 chunks

01

NEIGHBORHOOD

4 nodes · 4 edges

graph · Backward Data-Flow Analysis · depth=1

02

RELATIONSHIPS

3 connections

DiFuzzRTL ← implements 100% 2e evidence

DIFUZZRTL uses backward data-flow analysis to identify control registers in RTL designs.

Control Register uses → 100% 2e evidence

Backward data-flow analysis is used to identify which registers are control registers.

Multiplexer (Mux) uses → 100% 2e evidence

Backward data-flow analysis starts from each mux control signal and traces backwards to find source registers.