Ayoub Dhouib

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Younes Lahbib, Meriam Kallel, Ayoub Dhouib, Maher Hechkel, Antoine Perrin, Rached Tourki
System on Chips optimization using ABV and automatic generation of SystemC codes. Microprocess. Microsystems 31 (7) (2007)
Ridha Djemal, Ayoub Dhouib, Samuel Dellacherie, Rached Tourki
A novel formal verification approach for RTL hardware IP cores. Comput. Stand. Interfaces 27 (6) (2005)