Formal Verification of Analog and Mixed Signal Designs in Mathematica.
Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar
VenueMulticonferenceICCS
Year2007
ProceedingsInternational Conference on Computational Science (2)
DBLP recordconf/iccS/ZakiAT07 ↗
Browse the full ICCS paper archive.