Hierarchical Analog and Mixed-Signal Verification Using Hybrid Formal and Machine Learning Techniques

  • Authors:
    Peng Li (Texas A&M)
    Publication ID:
    P091070
    Publication Type:
    Annual Review
    Received Date:
    3-Jun-2017
    Last Edit Date:
    19-Jun-2017
    Research:
    2712.004 (Texas A&M Engineering Experiment Station)

Abstract

This annual review presentation summarizes the key research and industrial interactions conducted in the first year of the project.

Past Events

  Event Summary
19 June 2017
GRC
GRC
Computer-Aided Design and Test - Verification and System Logic & Physical Design Review
Monday, June 19, 2017, 8 a.m.–5:30 p.m. CT
Austin, TX, United States

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