Items where Author is "Habibi, Ali"

Article

Gawanmeh, Amjad, Tahar, Sofiène, Moinudeen, Haja and Habibi, Ali (2007) A Design for verification approach using an embedding of PSL in AsmL. Journal of Circuits, Systems and Computers, 16 (06). pp. 859-881. ISSN 0218-1266

Habibi, Ali and Tahar, Sofiène (2006) Design and verification of SystemC transaction-level models. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 14 (1). pp. 57-68. ISSN 1063-8210

Habibi, Ali and Tahar, Sofiène (2005) On the Transformation of SystemC to AsmL Using Abstract Interpretation. Electronic Notes in Theoretical Computer Science, 131 . pp. 39-49. ISSN 15710661

Thesis

Habibi, Ali (2005) A framework for system level verification : the SystemC Case. PhD thesis, Concordia University.