Sreeranga P. Rajan, Masahiro Fujita. Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design. In 11th International Conference on VLSI Design (VLSI Design 1991), 4-7 January 1998, Chennai, India. pages 552-557, IEEE Computer Society, 1998. [doi]
Abstract is missing.