A novel formal verification approach for RTL hardware IP cores. - Ridha Djemal; Ayoub Dhouib; Samuel Dellacherie; Rached Tourki (Comput. Stand. Interfaces, 2005)

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)