Breadcrumb

 
 

Items where Author is "Habibi, Ali"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 4.

Gawanmeh, Amjad and Tahar, Sofiène and 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

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

This list was generated on Mon Sep 15 09:35:04 2014 EDT.

Concordia University - Footer