Haja Moinudeen

Publication Activity (10 Years)

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

Publications

Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi
A Design for Verification Approach Using an Embedding of PSL in aSML. J. Circuits Syst. Comput. 16 (6) (2007)
Haja Moinudeen, Ali Habibi, Sofiène Tahar
Design for Verification of the PCI-X Bus. FMCAD (2006)
Ali Habibi, Haja Moinudeen, Sofiène Tahar
Generating finite state machines from SystemC. DATE Designers' Forum (2006)
Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar
Towards a Faster Simulation of SystemC Designs. ISVLSI (2006)