A Survey of functional verification techniques
Journal: International Journal for Scientific Research and Development | IJSRD (Vol.3, No. 10)Publication Date: 2016-01-01
Authors : Aartika Bansal; Nagendra Sah; Anantharaj T.V.;
Page : 512-516
Keywords : Functional verification; simulation; formal methodology; hybrid techniques;
Abstract
In this paper, we present a survey of various techniques used in functional verification of industry hardware designs. Although the use of formal verification techniques has been increasing over time, there is still a need for an immediate practical solution resulting in an increased interest in hybrid verification techniques. Hybrid techniques combine formal and informal (traditional simulation based) techniques to take the advantage of both the worlds. A typical hybrid technique aims to address the verification bottleneck by enhancing the state space coverage.
Other Latest Articles
- Visual semantic web based image Re-ranking for effective search engine
- Hypolipidemic activity of ethanolic extract of Saccharum spontaneum in atherogenic diet induced rats
- UPDRS tracking using linear regression and neural network for Parkinson’s disease prediction
- Comparatives study of M20 grade conventional concrete pavement with M20 grade Polypropylene fiber reinforced concrete pavement with varying percentages of Admixtures (Quarry dust and Fly ash)
- An Article on Electrical Safety
Last modified: 2016-01-08 14:49:35