Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs

Mohamed H. Zaki, Ghiath Al-Sammane, Sofiene 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:
0769530230
Adresse URL de PolyPublie:
https://publications.polymtl.ca/53309/
Nom de la conférence:
Formal Methods in Computer Aided Design (FMCAD 2007)
Lieu de la conférence:
Austin, TX, USA
Date(s) de la conférence:
2007-11-11 - 2007-11-14
Maison d'édition:
IEEE
DOI:
10.1109/famcad.2007.25
URL officielle:
https://doi.org/10.1109/famcad.2007.25
OAI:
oai:publications.polymtl.ca:53309
ORCID
Date du dépôt:
18 avr. 2023 15:17
Dernière modification:
14 oct. 2026 14:11
Citer en APA 7:
Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (novembre 2007). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Communication écrite]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). https://doi.org/10.1109/famcad.2007.25

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document