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

Download From

IEEE
Download from IEEE

Download Links

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