Modeling and automatic formal verification of the Fairisle ATM switch fabric using MDGs (0)

by S Tahar, X Song, E Cerny, Z Zhou, M Langevin, O Ait-Mohamed
Venue:IEEE Transactions on CAD of Integrated Circuits and Systems