Practical Application of Formal Verification Techniques on a Frame Mux/Demux Chip from Nortel Semiconductors. - Ying Xu; Eduard Cerny; Allan Silburt; A. Coady; Ying Liu; Philip Pownall (CHARME, 1999)