Jianping Lu, Sofiène Tahar. Practical Approaches to the Automatic Verification of an ATM Switch Fabric Using VIS. In 8th Great Lakes Symposium on VLSI (GLS-VLSI 98), 19-21 February 1998, Lafayette, LA, USA. pages 368, IEEE Computer Society, 1998. [doi]
Abstract is missing.