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

by Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny, Michel Langevin
Venue:PROC. IEEE SIXTH GREAT LAKES SYMPOSIUM ON VLSI (GLS-VLSI'96