Machine Learning in the Service of Hardware Functional Verification

Raviv Gal () and Avi Ziv ()
Additional contact information
Raviv Gal: IBM Research
Avi Ziv: IBM Research

Chapter Chapter 14 in Machine Learning Applications in Electronic Design Automation, 2022, pp 377-424 from Springer

Abstract: Abstract Modern hardware functional verification employs many different tools alongside large compute farms to ensure that the hardware’s implementation matches its specification. This produces a lot of data that can be used to better monitor and control the verification process. Data science in general and machine learning specifically are disciplines in computer science that deal with extracting patterns and information from datasets. This chapter shows how these technologies can be integrated into the verification process in a holistic manner and become an integral part of the verification process backbone. The chapter begins with examples on the use of machines learning in specific verification tools. This is followed by a description of how to connect the various verification tools and data sources and create a unified data repository in a data warehouse that is optimized for data retrieval. This connection allows the use of advanced data science techniques that improve the quality of the entire verification process.

Keywords: Functional verification; Functional coverage analysis; Coverage directed generation; Machine learning; Derivative free optimization; Reliability estimation (search for similar items in EconPapers)
Date: 2022
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-13074-8_14

Ordering information: This item can be ordered from
http://www.springer.com/9783031130748

DOI: 10.1007/978-3-031-13074-8_14

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().