Haja Moinudeen

According to our database, Haja Moinudeen authored at least 4 papers between 2006 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

A Design for Verification Approach Using an Embedding of PSL in aSML.

Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi

J. Circuits Syst. Comput., 2007

2006

Towards a Faster Simulation of SystemC Designs.

Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

Design for Verification of the PCI-X Bus.

Haja Moinudeen, Ali Habibi, Sofiène Tahar

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Generating finite state machines from SystemC.

Ali Habibi, Haja Moinudeen, Sofiène Tahar

Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, 2006