A fast timing verification method based on the independence of units.

Tomohiro Yoneda Kazutoshi Nakade Yoshihiro Tohma

Published in: FTCS (1989)

Keyphrases

verification method
model checking
temporal logic
conditional independence
asynchronous circuits
feature extraction
independence assumption
social networks
clustering algorithm