A Survey of functional verification techniquesJournal: 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;
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
Last modified: 2016-01-08 14:49:35