Conference paper
Verification of delayed-reset domino circuits using ATACS
Wendy Belluomini, Chris J. Myers, et al.
ASYNC 1999
Wendy Belluomini, Chris J. Myers, et al.
ASYNC 1999
Toshiaki Kirihata, Sang H. Dhong, et al.
IEEE Journal of Solid-State Circuits
Jinho Lee, Heesu Kim, et al.
VLDB
Raphael Polig, Kubilay Atasu, et al.
IEEE Micro