Combinational circuit ATPG using binary decision diagrams.

Sanjay Srinivasan Gnanasekaran Swaminathan James H. Aylor M. Ray Mercer

Published in: VTS (1993)

Keyphrases

binary decision diagrams
logic circuits
boolean functions
symbolic model checking
high speed
variable ordering
model checking
circuit design
asynchronous circuits
low power
planning problems
knowledge compilation
databases
database design
constraint satisfaction
search algorithm
reinforcement learning