Practical approaches to the verification of a telecom megacell using FormalCheck. - Leila Barakatain; Sofiène Tahar; Jean Lamarche; Jean-Marc Gendreau (ACM Great Lakes Symposium on VLSI, 2001)