Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison

Mohamed Zaki, Sofiene Tahar, Guy Bois

Communication écrite (2006)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
ISBN:
1424404177
Adresse URL de PolyPublie:
Nom de la conférence:
North-East Workshop on Circuits and Systems
Lieu de la conférence:
Gatineau, QC, Canada
Date(s) de la conférence:
2006-06-18 - 2006-06-21
Maison d'édition:
Institute of Electrical and Electronics Engineers
OAI:
oai:publications.polymtl.ca:75668
ORCID
Date du dépôt:
18 août 2026 14:43
Dernière modification:
14 oct. 2026 14:37
Citer en APA 7:
Zaki, M., Tahar, S., & Bois, G. (juin 2006). Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison [Communication écrite]. North-East Workshop on Circuits and Systems, Gatineau, QC, Canada. https://doi.org/10.1109/newcas.2006.250926

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document