1/ Aadithya V. Karthik <[email protected]> Feb 2014, BEARS lightning talk, Berkeley ABCD: “Booleanizing” Analog Systems for Verifying Chips Aadithya V. Karthik, Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, and Jaijeet Roychowdhury EECS Dept., The University of California, Berkeley Feb 2014, BEARS, Berkeley
6
Embed
1/6 Aadithya V. Karthik Feb 2014, BEARS lightning talk, Berkeley ABCD: “Booleanizing” Analog Systems for Verifying Chips Aadithya V. Karthik, Sayak Ray,
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
1/6Aadithya V. Karthik <[email protected]> Feb 2014, BEARS lightning talk, Berkeley
ABCD: “Booleanizing” AnalogSystems for Verifying Chips
Aadithya V. Karthik,
Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko,Robert Brayton, and Jaijeet Roychowdhury
EECS Dept., The University of California, Berkeley
Feb 2014, BEARS, Berkeley
2/6Aadithya V. Karthik <[email protected]> Feb 2014, BEARS lightning talk, Berkeley
The Problem: Verifying a Chip
Specification
Chip designers
Chip
3/6Aadithya V. Karthik <[email protected]> Feb 2014, BEARS lightning talk, Berkeley