Formal Veri cation of an ATM Switch Fabric using Multiway Decision Graphs (1996)

by S Tahar, Z Zhou, X Song, E Cerny, M Langevin
Venue:In Proceedings of Great Lakes Symposium on VLSI