SAT-based Methods for Scalable Synthesis and Verification

  • Authors:
    Robert K. Brayton (UC/Berkeley), Alan Mishchenko (UC/Berkeley), Yen-Sheng Ho (UC/Berkeley)
    Publication ID:
    P091041
    Publication Type:
    Annual Review
    Received Date:
    1-Jun-2017
    Last Edit Date:
    5-Jun-2017
    Research:
    2710.001 (University of California/Berkeley)

Abstract

This presentation summarizes research results after 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