AMS SoC Formal Verification based on Hybrid Scheme
Journal Title: International Journal of Engineering and Management Research - Year 2018, Vol 8, Issue 4
Abstract
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 designs i.e., tunnel diode oscillator for research target. Firstly, Labeled Hybrid Petri Net model is established for safety property verification of tunnel diode oscillator, then mathematical expression for this model is extracted for efficiency enhancement, and then proof policy built in computer algebra Maple is applied to the corresponding LHPN 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 and enhances the efficiency.
Authors and Affiliations
Keywords
Related Articles
- EP ID EP503822
- DOI 10.31033/ijemr.8.4.4
- Views 102
- Downloads 0
Toxicity Effects of Aspartame on Embryonic Development of Zebrafish (Danio Rerio)
Zebrafish (Danio rerio) is a widely used biological model to investigate different chemicals since it has certain similarities with human biology. Present study investigated the impact of Aspartame (APM); an excessively...
Finger Mouse Movement
As we know, for every electronic device, we need to perform some actions to control them. In our project, we represent a novel approach for better human computer interaction (HCI) where we are using finger tips using rea...
Production and Purification of Amylase from Bacillus subtilis Isolated from Soil
In spite of progress in biotechnology and enzymology, the enzymes have been industrialized in recent years for the mounting up the product development in various arena. The ultimate goal of this study comprises the produ...
Digital Marketing Mix Strategies in the Tourism Industry in Zimbabwe: A Masvingo Tourism Destination Perspective
Digitalization is considered as the veritable vehicle of transformation for the tourism industry marketing in this age of the internet economy. It influences all business marketing processes before, during and after a to...
Can Automation Eliminate Human Intervention?
As the competition intensifies in the market for products and services and the need for recognition, companies in their effort to reduce operating costs see automation as a solution. While how much of and to what extent...