2019 International Conference On Computer Aided Design

The Premier Conference Devoted to Technical Innovations in Electronic Design Automation

November 4-7, 2019The Westin Westminster Westminster, CO

v class="event-details"> MP Associates, Inc.

WEDNESDAY November 07, 3:45pm - 5:15pm | Monte Carlo

Taming the Wild: Scalable Methods in Verification
Ian Harris - Univ. of California, Irvine
The growing size and complexity of integrated circuits and systems makes scalability of verification solutions an increasingly important problem. This session presents three innovations in this space. The first paper introduces a new theoretical framework for mitigating the verification complexity of large arithmetic circuits. The second paper develops a formal model for the verification of GPU architectures. The third paper presents an emulation platform for mixed-signal systems with high-accuracy and throughput.

10B.1*PolyCleaner: Clean Your Polynomials Before Backward Rewriting to Verify Million-Gate Multipliers
 Speaker: Daniel Große - Universität Bremen
 Authors: Alireza Mahzoon - Universität Bremen
Daniel Große - Universität Bremen
Rolf Drechsler - Universität Bremen
10B.2A Formal Instruction-Level GPU Model for Scalable Verification
 Speaker: Yue Xing - Princeton Univ.
 Authors: Yue Xing - Princeton Univ.
Bo-Yuan Huang - Princeton Univ.
Aarti Gupta - Princeton Univ.
Sharad Malik - Princeton Univ.
10B.3Fast FPGA Emulation of Analog Dynamics in Digitally-Driven Systems
 Speaker: Steven Herbst - Stanford Univ.
 Authors: Steven Herbst - Stanford Univ.
Byong Chan Lim - Stanford Univ.
Mark Horowitz - Stanford Univ.

* Indicates Best Paper Candidate