Final Report on Practical Data Learning Tools and Methodologies for Verification

  • Authors:
    Kuo-Kai Hsieh (UC/Santa Barbara), Li-C Wang (UC/Santa Barbara)
    Publication ID:
    P086529
    Publication Type:
    Deliverable Report
    Received Date:
    22-Nov-2015
    Last Edit Date:
    7-Dec-2015
    Research:
    2268.001 (University of California/Santa Barbara)

Research Report Highlight

This final report from UCSB describes data mining approaches to improve the efficiency and quality of functional verification for processors, reducing simulation cost by 80-95% and improving verification coverage.

Abstract

This final report summarizes the major accomplishments from our project. We also point out three directions of future research. The first is to extend the approaches to go beyond simulation, such as emulation. The second is to extend the approaches for scenario generation. The third is for security verification. We will explain how these diverse applications can be addressed with the data analytics approaches developed in our research.

4819 Emperor Blvd, Suite 300 Durham, NC 27703 Voice: (919) 941-9400 Fax: (919) 941-9450