Leila Barakatain Sofiène Tahar Jean Lamarche Jean-Marc Gendreau Practical approaches to the verification of a telecom megacell using FormalCheck. 1-6 2001 conf/glvlsi/2001 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/368122.368141 db/conf/glvlsi/glvlsi2001.html#BarakatainTLG01