Title :
A study of modeling techniques in use in digital and mixed-signal domains for semi-formal verification
Author :
Mitra, Srobona ; Ain, Antara ; Ghosh, Priyankar ; Dasgupta, Pallab
Author_Institution :
Dept. of Comput. Sci. & Eng., Indian Inst. of Technol. Kharagpur, Kharagpur, India
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.
Keywords :
digital integrated circuits; electronic engineering computing; formal verification; mixed analogue-digital integrated circuits; digital domain; industrial designs; industrial digital design; mixed-signal design; mixed-signal domain; modeling technique; semi-formal verification; simulation-based techniques; verification process; Circuit simulation; Computational modeling; Computer industry; Computer science; Design engineering; Explosions; Formal verification; Protocols; State-space methods; Testing; Digital; Formal; Mixed-Signal; Models; Semi-Formal Verification; Simulation;
Conference_Titel :
Students' Technology Symposium (TechSym), 2010 IEEE
Conference_Location :
Kharagpur
Print_ISBN :
978-1-4244-5975-9
Electronic_ISBN :
978-1-4244-5974-2
DOI :
10.1109/TECHSYM.2010.5469221
