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.

MONDAY November 05, 4:15pm - 5:45pm | Saint Tropez
EVENT TYPE: REGULAR SESSION

SESSION 3A
Generate, Stimulate and Simulate!
Moderator:
Nagaraj Kelageri - Qualcomm Technologies, Inc.
Effective generation of stimuli is a critical step in the verification flow. The three papers in this session present advances in this field. The first paper is focused on coverage-directed testing in FPGA environments using the insights developed in software verification. The second paper speeds the generation of directed tests for shared-memory multi-processor verification. The third paper presents a method that facilitates rapid generation of multiple and diverse stimuli from complex constraints.

3A.1RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
 Speaker: Kevin Laeufer - Univ. of California, Berkeley
 Authors: Kevin Laeufer - Univ. of California, Berkeley
Jack Koenig - Univ. of California, Berkeley
Donggyu Kim - Univ. of California, Berkeley
Jonathan Bachrach - Univ. of California, Berkeley
Koushik Sen - Univ. of California, Berkeley
3A.2Steep Coverage-Ascent Directed Test Generation for Shared-Memory Verification of Multicore Chips
 Speaker: Gabriel Andrade - Federal Univ. of Santa Catarina
 Authors: Gabriel Andrade - Federal Univ. of Santa Catarina
Marleson Graf - Federal Univ. of Santa Catarina
NĂ­colas Pfeifer - Federal Univ. of Santa Catarina
Luiz Dos Santos - Federal Univ. of Santa Catarina
3A.3SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
 Speaker: Rafael Dutra - Univ. of California, Berkeley
 Authors: Rafael Dutra - Univ. of California, Berkeley
Jonathan Bachrach - Univ. of California, Berkeley
Koushik Sen - Univ. of California, Berkeley