<  Back to the Polytechnique Montréal portal

Formal verification of analog and mixed signal designs: A survey

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: 18 Apr 2023 15:16
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 View Item