Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient assertion based verification using TLM.

A. Habibi, S. Tahar, A. Samarah, D. Li, and O. Mohamed. DATE, page 106-111. European Design and Automation Association, Leuven, Belgium, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Tahar, Sofiène

add a person with the name Tahar, Sofiène

Other publications of authors with the same name

NuMDG: A New Tool for Multiway Decision Graphs Construction.S. Abed, Y. Mokhtari, O. Mohamed, and S. Tahar. J. Comput. Sci. Technol., 26 (1): 139-152 (2011)A Design for Verification Approach Using an Embedding of PSL in aSML.A. Gawanmeh, S. Tahar, H. Moinudeen, and A. Habibi. Journal of Circuits, Systems, and Computers, 16 (6): 859-881 (2007)Integrating Abstraction Techniques for Formal Verification of Analog Designs.M. Zaki, W. Denman, S. Tahar, and G. Bois. JACIC, 6 (5): 373-392 (2009)Design and verification of a frequency domain equalizer.A. Souari, A. Gawanmeh, S. Tahar, and M. Ammari. Microelectronics Journal, 45 (2): 167-178 (2014)Reasoning about conditional probabilities in a higher-order-logic theorem prover.O. Hasan, and S. Tahar. J. Applied Logic, 9 (1): 23-40 (2011)Fragile IP Watermarking Techniques.A. Abdel-Hamid, and S. Tahar. AHS, page 513-519. IEEE Computer Society, (2008)An analytical model for performance evaluation of parallel interference cancellers in CDMA systems.G. Xue, J. Weng, T. Le-Ngoc, and S. Tahar. IEEE Communications Letters, 4 (6): 184-186 (2000)IP Watermarking Using Incremental Technology Mapping at Logic Synthesis Level.A. Cui, C. Chang, and S. Tahar. IEEE Trans. on CAD of Integrated Circuits and Systems, 27 (9): 1565-1570 (2008)Multithreading-based Coverification Technique of HW/SW Systems.M. Azizi, E. Aboulhamid, and S. Tahar. PDPTA, page 1999-2005. CSREA Press, (1999)Towards a Faster Simulation of SystemC Designs.A. Habibi, H. Moinudeen, A. Samarah, and S. Tahar. ISVLSI, page 418-419. IEEE Computer Society, (2006)

PUMA

Disambiguation of "Tahar, Sofiène"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient assertion based verification using TLM.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

PUMA

Disambiguation of "Tahar, Sofiène"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Efficient assertion based verification using TLM.

Please choose a person to relate this publication to

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Efficient assertion based verification using TLM.