Paper Info
Title
Formal verification of tunnel diode oscillator with temperature variations
Abstract
In this paper, we propose an extension to the formal verification approach of hybrid systems to verify the Tunnel Diode Oscillator (TDO) with temperature variations. This enables the same platform that is used for validating the hybrid system, to be also used to formally verify the Tunnel Diode Oscillator with temperature variations. The proposed approach utilizes the simulation traces from the actual implementation of the analog circuits to carry out the formal analysis and verification. We demonstrate our approach around Checkmate [1] and Tunnel diode Oscillator (TDO) as a case study. Current-Voltage simulations were performed on a tunnel diode and the basic feature of the I-V characteristics were analyzed in the temperature range 100--300K. TDO is designed and validated based on these characteristics. In particular, TDO has been verified formally for the continuous range of initial conditions at this temperature range.
Year
DOI
Venue
2010
10.1109/ASPDAC.2010.5419891
Design Automation Conference
Keywords
Field
DocType
hybrid system,temperature range,formal verification approach,tunnel diode,continuous range,current-voltage simulation,formal analysis,temperature variation,tunnel diode oscillator,mathematical model,initial condition,oscillators,formal verification,analog circuits,temperature,oscillations
Oscillation,Analogue electronics,Atmospheric temperature range,Virtual platform,Computer science,Tunnel diode,Electronic engineering,Checkmate,Hybrid system,Formal verification
Conference
ISSN
ISBN
Citations 
2153-6961
978-1-4244-5767-0
4
PageRank 
References 
Authors
0.54
7
2
Name
Order
Citations
PageRank
Kusum Lata173.02
H. S. Jamadagni216030.14