<  Back to the Polytechnique Montréal portal

Checking properties of PLL designs using run-time verification

Zhi Jie Dong, Mohamed H. Zaki, Ghiath Al Sammane, Sofiene Tahar and Guy Bois

Paper (2007)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/52580/
Conference Title: Internatonal Conference on Microelectronics (ICM 2007)
Conference Location: Cairo, Egypt
Conference Date(s): 2007-12-29 - 2007-12-31
Publisher: IEEE
DOI: 10.1109/icm.2007.4497676
Official URL: https://doi.org/10.1109/icm.2007.4497676
Date Deposited: 18 Apr 2023 15:16
Last Modified: 18 Apr 2023 15:16
Cite in APA 7: Dong, Z. J., Zaki, M. H., Sammane, G. A., Tahar, S., & Bois, G. (2007, December). Checking properties of PLL designs using run-time verification [Paper]. Internatonal Conference on Microelectronics (ICM 2007), Cairo, Egypt (4 pages). https://doi.org/10.1109/icm.2007.4497676

Statistics

Dimensions

Repository Staff Only

View Item View Item