Open AccessAMS SoC Formal Verification based on Hybrid Scheme
Author(s) -
S Ramesh,
B. Gomathy,
T. Sundararajan
Publication year - 2018
Publication title -
international journal of engineering and management research
Language(s) - English
Resource type - Journals
eISSN - 2394-6962
pISSN - 2250-0758
DOI - 10.31033/ijemr.8.4.4
Subject(s) - petri net , scheme (mathematics) , workflow , computer science , property (philosophy) , class (philosophy) , formal verification , diode , algorithm , engineering , mathematics , electrical engineering , artificial intelligence , mathematical analysis , philosophy , epistemology , database
This paper proposes for AMS SoC formal verification based on Hybrid Scheme combined with symbolic computing and LHPN model, FV-HS. The paper is concerned with a class of AMS designs, continuous-time AMS designsi.e., tunnel diode oscillator for research target. Firstly, Labeled Hybrid Petri Net model is established for safety property verification of tunnel diode oscillator, thenmathematical expression for this model is extracted for efficiency enhancement, and then proof policy built in computer algebra Maple is applied to the correspondingLHPN model for tunnel diode oscillator to verify the property. The proposed method is implemented on tunnel diode oscillator and experiment results demonstrate the advantages of the proposed method over previous method. The proposed method overcomes the drawbacks of LHPN, makes full use of the merits of LHPN and symbolic computing, simplifies the workflow of algorithm andenhances the efficiency.