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