Sasidhar Sunkari

Learn More
Symbolic simulation is an important technique used in formal property verification and test generation for digital circuits. Existing symbolic simulators predominantly operate at the gate level, reasoning about individual bits and signals. As a result, their performance does not scale well to large circuits like microprocessors. Word-level symbolic(More)
  • 1