| 2007 |
|---|
| 3 | EE | Younes Lahbib,
Meriam Kallel,
Ayoub Dhouib,
Maher Hechkel,
Antoine Perrin,
Rached Tourki:
System on Chips optimization using ABV and automatic generation of SystemC codes.
Microprocessors and Microsystems 31(7): 433-444 (2007) |
| 2005 |
|---|
| 2 | EE | Anat Dahan,
Daniel Geist,
Leonid Gluhovsky,
Dmitry Pidan,
Gil Shapir,
Yaron Wolfsthal,
Lyes Benalycherif,
Romain Kamdem,
Younes Lahbib:
Combining System Level Modeling with Assertion Based Verification.
ISQED 2005: 310-315 |
| 1 | EE | Younes Lahbib,
Romain Kamdem,
Mohamed-Lyes Benalycherif,
Rached Tourki:
An automatic ABV methodology enabling PSL assertions across SLD flow for SOCs modeled in SystemC.
Computers & Electrical Engineering 31(4-5): 282-302 (2005) |
