Zaki, M., Tahar, S., & Bois, G. (juin 2006). Formal Verification of Analog and Mixed Signal Designs: Survey and Comparison [Communication écrite]. North-East Workshop on Circuits and Systems, Gatineau, QC, Canada. Lien externe
