Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

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

A. Gawanmeh, S. Tahar, H. Moinudeen, und A. Habibi. Journal of Circuits, Systems, and Computers, 16 (6): 859-881 (2007)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fatemeh Habibi University of Stuttgart

Ali Salehi University of Stuttgart

Layal Ali University of Stuttgart

Dr. -Ing. Ali Jamshed University of Stuttgart

Ali Nakhaee University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Autometic Generation of SystemC Transactors from AsmL Specification.T. Khan, A. Habibi, S. Tahar, und O. Mohamed. FDL, Seite 104-109. ECSI, (2007)Formal Verification of a DSP Chip Using an Iterative Approach.A. Habibi, S. Tahar, und A. Ghazel. DSD, Seite 12-19. IEEE Computer Society, (2002)Towards an efficient assertion based verification of SystemC designs.A. Habibi, und S. Tahar. HLDVT, Seite 19-22. IEEE Computer Society, (2004)A Survey oA Survey on System-On-a-Chip Designn System-On-a-Chip Design.A. Habibi, und S. Tahar. IWSOC, Seite 212-215. IEEE Computer Society, (2003)Design for Verification of the PCI-X Bus.H. Moinudeen, A. Habibi, und S. Tahar. FMCAD, Seite 187-188. IEEE Computer Society, (2006)A Design for Verification Approach Using an Embedding of PSL in aSML.A. Gawanmeh, S. Tahar, H. Moinudeen, und A. Habibi. Journal of Circuits, Systems, and Computers, 16 (6): 859-881 (2007)A survey of digital picture coding.A. Habibi, und G. Robinson. IEEE Computer, 7 (5): 22-34 (1974)Efficient assertion based verification using TLM.A. Habibi, S. Tahar, A. Samarah, D. Li, und O. Mohamed. DATE, Seite 106-111. European Design and Automation Association, Leuven, Belgium, (2006)Towards a Faster Simulation of SystemC Designs.A. Habibi, H. Moinudeen, A. Samarah, und S. Tahar. ISVLSI, Seite 418-419. IEEE Computer Society, (2006)Fast Multipliers.A. Habibi, und P. Wintz. IEEE Trans. Computers, 19 (2): 153-157 (1970)