International Journal of Computer Applications |
Foundation of Computer Science (FCS), NY, USA |
Volume 109 - Number 11 |
Year of Publication: 2015 |
Authors: Vidhya D.s, R. Manjunath |
![]() |
Vidhya D.s, R. Manjunath . Research Trends in Formal Verification Process for Analog and Mixed Signal Design. International Journal of Computer Applications. 109, 11 ( January 2015), 10-15. DOI=10.5120/19231-0958
Formal verification is one of the crucial stages of design phase that ensure the preciseness of the circuit design and its corresponding behavior with respect to specific system design. From last decade, there has been an abundant formal verification techniques introduced by the research community for analog and mixed signal circuits that used as an interface between analog and digital components. Owing to the maximized sophistication, and shrinking sizes of chip, analog, and mixed signal verification is encountering challenges in increasing verification requirement that calls for analyzing the prior techniques. The prime purpose of this paper is to discuss the most standard models, and techniques introduced till date and to excavate the various facts about their effectiveness in the area circuit design principles. The paper also discusses some of the critical research gaps explored from the study.