Mitra, Srobona ; Ain, Antara ; Ghosh, Priyankar ; Dasgupta, Pallab (2010) A study of modeling techniques in use in digital and mixed-signal domains for semi-formal verification In: 2010 IEEE Students Technology Symposium (TechSym), 3-4 April 2010, IIT Kharagpur, West Bengal, India.
Full text not available from this repository.
Official URL: http://ieeexplore.ieee.org/document/5469221/
Related URL: http://dx.doi.org/10.1109/TECHSYM.2010.5469221
Abstract
Simulation-based techniques are the defacto standard for the verification of industrial designs. Since verification effort takes about 70% of the time of the design phase, it is important to expedite the simulation process in order to reduce the overall verification effort. Modeling-based techniques play an important role towards achieving the speed-up by expediting many subtasks of the overall verification process. In this paper we present a study of the different modeling techniques that are primarily used for semi-formal verification of modern-day industrial digital and mixed-signal designs and the efficacy of the same for achieving the verification speed-up.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Source: | Copyright of this article belongs to Institute of Electrical and Electronics Engineers. |
| Keywords: | Models; Semi-formal Verification; Digital; Mixed-signal; Simulation; Formal |
| ID Code: | 101662 |
| Deposited On: | 12 Dec 2016 10:06 |
| Last Modified: | 12 Dec 2016 10:06 |
Repository Staff Only: item control page
