A Binary Decision Diagram Approach to On-line Testing of Asynchronous Circuits.

Pradeep Kumar Biswal Santosh Biswas

Published in: VLSI Design (2019)

Keyphrases

asynchronous circuits
binary decision diagrams
model checking
delay insensitive
process algebra
boolean functions
decision diagrams
pseudo boolean constraints
planning problems
search algorithm
database
temporal logic