MARCH 2-5, 2015

DoubleTree, San Jose

Conference Sponsor: 

ACCELLERA SYSTEMS INITIATIVE

Andrew Goodrich

BEST ORAL PRESENTATION

4.2 Determining Test Quality Through Dynamic Runtime Monitoring of SystemVerilog Assertions

Kelly D. Larson - NVIDIA Corp.

ORAL PRESENTATION HONORABLE MENTION

2.1 Sign-off With Bounded Formal Verification Proofs

NamDo Kim - Samsung Electronics Co., Ltd,
Junhyuk Park - Samsung Electronics Co., Ltd,
HarGovind Singh - Oski Technology, Inc.
Vigyan Singhal - Oski Technology, Inc.

5.2 Digitizing Mixed Signal Verification: Digital Verification Techniques Applied to Mixed Signal and Analog Blocks and System Level Verification

David C. Brownell - Analog Devices, Inc.
Courtney Schmitt - Analog Devices, Inc.

BEST POSTER PRESENTATION

UVM SchmooVM – I Want My C Tests!

Rich Edelman - Mentor Graphics Corp.
Raghu Ardeishar - Mentor Graphics Corp.                           

POSTER PRESENTATION HONORABLE MENTION

1P.13 Supercharge Your Verification Using Rapid Expression Coverage as the Basis of a MC/DC-Compliant Coverage Methodology

Gaurav K. Verma - Mentor Graphics Corp.
Doug Warmke - Mentor Graphics Corp.

1P.2 The Future of Formal Model Checking is NOW! Leveraging Formal Methods for RAPID System On Chip Verification

Ram Narayan - Oracle Labs