Methodology and Abstraction for System-Level HW/SW Co-Verification

  • Authors:
    Tom Melham (Oxford), Daniel Kroening (Oxford), Rajdeep Mukherjee (Oxford)
    Publication ID:
    P091072
    Publication Type:
    Annual Review
    Received Date:
    5-Jun-2017
    Last Edit Date:
    16-Jun-2017
    Research:
    2707.001 (University of Oxford)

Abstract

This presentation for the annual review on June 19, 2017, comprises an overview of the task and research by Professor Melham together with a technical presentation by PhD student Rajdeep Mukherjee.

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