Mohamed H. Zaki, Sofiane Tahar et Guy Bois
Article de revue (2008)
Un lien externe est disponible pour ce documentDépartement: | Département de génie informatique et génie logiciel |
---|---|
URL de PolyPublie: | https://publications.polymtl.ca/20109/ |
Titre de la revue: | Microelectronics Journal (vol. 39, no 12) |
Maison d'édition: | Elsevier |
DOI: | 10.1016/j.mejo.2008.05.013 |
URL officielle: | https://doi.org/10.1016/j.mejo.2008.05.013 |
Date du dépôt: | 18 avr. 2023 15:16 |
Dernière modification: | 05 avr. 2024 11:03 |
Citer en APA 7: | Zaki, M. H., Tahar, S., & Bois, G. (2008). Formal verification of analog and mixed signal designs: A survey. Microelectronics Journal, 39(12), 1395-1404. https://doi.org/10.1016/j.mejo.2008.05.013 |
---|---|
Statistiques
Dimensions