Verification of Parameterized Asynchronous Circuits: A Case Study. - Tomohiro Yoneda; Yutaka Ohtsuka; Märt Saarepera (ACSD, 1998)