Integration of High-Level Modeling, Formal Verification, and High-Level Synthesis in ATM Switch Design.

Sreeranga P. Rajan, Masahiro Fujita

Browse the full VLSID paper archive.