Ali Habibi Sofiène Tahar Adel Ghazel Formal Verification of a DSP Chip Using an Iterative Approach. 12-19 2002 conf/dsd/2002 DSD http://doi.ieeecomputersociety.org/10.1109/DSD.2002.1115346 db/conf/dsd/dsd2002.html#HabibiTG02