Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers. Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. In 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan. pages 210-220, IEEE Computer Society, 2002. [doi]
Abstract is missing.