 | 2007 |
|---|
| 4 |       | Amjad Gawanmeh,
Sofiène Tahar,
Haja Moinudeen,
Ali Habibi:
A Design for Verification Approach Using an Embedding of PSL in aSML.
Journal of Circuits, Systems, and Computers 16(6): 859-881 (2007) |
| 2006 |
|---|
| 3 | | Ali Habibi,
Haja Moinudeen,
Sofiène Tahar:
Generating finite state machines from SystemC.
DATE Designers' Forum 2006: 76-81 |
| 2 | | Haja Moinudeen,
Ali Habibi,
Sofiène Tahar:
Design for Verification of the PCI-X Bus.
FMCAD 2006: 187-188 |
| 1 | | Ali Habibi,
Haja Moinudeen,
Amer Samarah,
Sofiène Tahar:
Towards a Faster Simulation of SystemC Designs.
ISVLSI 2006: 418-419 |
