#format wiki ##NOTE: add tags in the following line to make this page easily found #pagetag template <> = Formal Verification of Analog and Mixed-Signal Systems = == Global Convergence Analysis == * [[Global Convergence Analysis of Mixed-Signal Systems]] == AMS Validation and Test == * [[AMS Validation and Test]] == Reference == * Sangho Youn, Jaeha Kim, Mark Horowitz, "Global Convergence Analysis of Mixed-Signal Systems", Design Automation conference, 2011. * Sangho Youn, Jaeha Kim, Mark Horowitz, "Preventing Global Convergence Failures in Mixed-Signal Systems by Eliminating Indeterminate States", Frontiers in Analog Circuit (FAC) Synthesis and Verification, 2011. * Henry Chang, Ken Kundert, "Verification of Complex Analog and RF IC Designs", Proceedings of the IEEE, Volume 95, Issue 3, p622, March 2007 ## NOTE: the following macro displays the page tags <>