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

  • Authors:
    Tom Melham (Oxford), Daniel Kroening (Oxford), Rajdeep Mukherjee (Oxford)
    Publication ID:
    Publication Type:
    Annual Review
    Received Date:
    Last Edit Date:
    2707.001 (University of Oxford)


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
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

Important Information for the SRC website. This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies. If you are not happy with the use of these cookies, please review our Cookie Policy to learn how they can be disabled. By disabling cookies, some features of the site will not work.