Timing verification of sequential domino circuits.

David Van Campenhout Trevor N. Mudge Karem A. Sakallah

Published in: ICCAD (1996)

Keyphrases

asynchronous circuits
delay insensitive
model checking
data sets
social networks
case study
logic circuits
logic synthesis
lateral inhibition
real time
search algorithm
high speed
formal methods
sequential search
concurrent systems