Practical Approaches to the Automatic Veri cation of an ATM Switch Fabric using VIS (1998)

by J, S Tahar
Venue:In Proceedings of Great Lakes Symposium on VLSI