<  Back to the Polytechnique Montréal portal

Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs

Mohamed H. Zaki, Ghiath Al-Sammane, Sofiene Tahar and Guy Bois

Paper (2007)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/53309/
Conference Title: Formal Methods in Computer Aided Design (FMCAD 2007)
Conference Location: Austin, TX, USA
Conference Date(s): 2007-11-11 - 2007-11-14
Publisher: IEEE
DOI: 10.1109/famcad.2007.25
Official URL: https://doi.org/10.1109/famcad.2007.25
Date Deposited: 18 Apr 2023 15:17
Last Modified: 18 Apr 2023 15:17
Cite in APA 7: Zaki, M. H., Al-Sammane, G., Tahar, S., & Bois, G. (2007, November). Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs [Paper]. Formal Methods in Computer Aided Design (FMCAD 2007), Austin, TX, USA (9 pages). https://doi.org/10.1109/famcad.2007.25

Statistics

Dimensions

Repository Staff Only

View Item View Item