Mohamed H. Zaki, Sofiane Tahar and Guy Bois
Article (2008)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/20109/ |
| Journal Title: | Microelectronics Journal (vol. 39, no. 12) |
| Publisher: | Elsevier |
| DOI: | 10.1016/j.mejo.2008.05.013 |
| Official URL: | https://doi.org/10.1016/j.mejo.2008.05.013 |
| Date Deposited: | 18 Apr 2023 15:16 |
| Last Modified: | 08 Apr 2025 02:06 |
| Cite in 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 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
