Ulus, Doğan.
(Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2013., 2013.)
This thesis studies assertion based veri cation methodology for analog and mixedsignal (AMS) designs and improves analog expressiveness of assertions. Assertion based veri cation methodology is originally derived for digital ...