Master of Science by Research
International Institute of information Technology, Bangalore
Electronic System Design (GPA- 3.1/4)
Research Thesis: APPROACHES TO FORMAL VERIFICATION OF ANALOG AND MIXED SIGNAL DESIGNS
Supervisor : Prof. Subir K. Roy
Summary: This work attempts to formally verifying AMS designs and to incorporate simulation traces in the formal model of AMS designs in order to develop and verify exact model of the AMS system.