Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar. A symbolic methodology for the verification of analog and mixed signal designs. In Rudy Lauwereins, Jan Madsen, editors, 2007 Design, Automation and Test in Europe Conference and Exposition (DATE 2007), April 16-20, 2007, Nice, France. pages 249-254, ACM, 2007. [doi]
Abstract is missing.