Checking properties of PLL designs using run-time verification

Dong, Zhi Jie; Zaki, Mohamed H.; Sammane, Ghiath Al; Tahar, Sofiène; Bois, Guy; Dong, Zhi Jie; Zaki, Mohamed H.; Sammane, Ghiath Al; Tahar, Sofiène; Bois, Guy

Checking properties of PLL designs using run-time verification

Zhi Jie Dong, Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois

Communication écrite (2007)

Accéder à ce document

Lien externe

Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel

Voir chez l'éditeur officiel

Département:

Département de génie informatique et génie logiciel

ISBN:

9781424418466

Adresse URL de PolyPublie:

https://publications.polymtl.ca/52580/

Nom de la conférence:

International Conference on Microelectronics (ICM 2007)

Lieu de la conférence:

Cairo, Egypt

Date(s) de la conférence:

2007-12-29 - 2007-12-31

Maison d'édition:

IEEE

DOI:

10.1109/icm.2007.4497676

URL officielle:

https://doi.org/10.1109/icm.2007.4497676

OAI:

oai:publications.polymtl.ca:52580

ORCID

Date du dépôt:

18 avr. 2023 15:16

Dernière modification:

14 oct. 2026 14:10

Citer en APA 7:

Dong, Z. J., Zaki, M. H., Sammane, G. A., Tahar, S., & Bois, G. (décembre 2007). Checking properties of PLL designs using run-time verification [Communication écrite]. International Conference on Microelectronics (ICM 2007), Cairo, Egypt (4 pages). https://doi.org/10.1109/icm.2007.4497676

Statistiques

Dimensions

Actions réservées au personnel

Afficher document