Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka. A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Volume 531 of Lecture Notes in Computer Science, pages 76-85, Springer, 1990.
Abstract is missing.