Evaluating Digital Circuits with Structural Techniques
Motivation Digital circuits are often modeled as directed acyclic graphs. Given a boolean circuit and a vector of input values, the task is to compute the output values of every gate. A straightforward evaluation method is a topological traversal. This note presents structural techniques that can ac...