Ghiath Al Sammane, Mohamed H. Zaki, Sofiène Tahar
A symbolic methodology for the verification of analog and mixed signal designs
DATE, 2007.
@inproceedings{DATE-2007-Al-SammaneZT,
author = "Ghiath Al Sammane and Mohamed H. Zaki and Sofiène Tahar",
booktitle = "{Proceedings of the 11th Conference on Design, Automation and Test in Europe}",
doi = "10.1145/1266366.1266420",
isbn = "978-3-9810801-2-4",
pages = "249--254",
publisher = "{ACM}",
title = "{A symbolic methodology for the verification of analog and mixed signal designs}",
year = 2007,
}