System on Chips optimization using ABV and automatic generation of SystemC codes. - Younes Lahbib; Meriam Kallel; Ayoub Dhouib; Maher Hechkel; Antoine Perrin; Rached Tourki (Microprocess. Microsystems, 2007)