Hiroshi Nakamura, Yuji Kukimoto, Masahiro Fujita, Hidehiko Tanaka. Practical design assistance at register transfer level using a data path verifier. In Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, ICCD 1990, Cambridge, MA, USA, 17-19 September, 1990. pages 99-102, IEEE, 1990. [doi]
Abstract is missing.