Abstract: This chapter introduced functional verification and motivated the need for an effective functional verification methodology. A set of verification metrics were introduced to provide a means for contrasting and motivating the introduction of new verification methodologies. Directed test based verification, constrained random based verification, coverage driven verification, and autonomous verification environments were discussed and the introduction of each new methodology was motivated by the verification metrics discussed in this chapter.
Publication Year: 2006
Publication Date: 2006-03-02
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot