Michel Langevin, Sofiène Tahar, Zijian Zhou, Xiaoyu Song, Eduard Cerny. Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration. In 1996 International Conference on Computer Design (ICCD 96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings. pages 20-26, IEEE Computer Society, 1996. [doi]
Abstract is missing.