Relative Timing Based Verification of Timed Circuits and Systems

Peter A. Beerel, Ken S. Stevens, Hoshik Kim. Relative Timing Based Verification of Timed Circuits and Systems. In 8th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2002), 9-11 April 2002, Manchester, UK. pages 115, IEEE Computer Society, 2002. [doi]