Mohamed H. Zaki, Sofiane Tahar et Guy Bois
Article de revue (2008)
Un lien externe est disponible pour ce document| Dé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: | 08 avr. 2025 02:06 |
| 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
