MARCH 2-5, 2015

DoubleTree, San Jose

Conference Sponsor: 

Best Paper and Poster Awards

With a full conference or one-day only registration package, the attendees were the judges!
 

2014 Recipients:

Sponsored by:
 

Winning Paper Presentation:

4.2

Determining Test Quality Through Dynamic Runtime Monitoring of SystemVerilog Assertions

Speaker:

Kelly D. Larson - NVIDIA Corp.

Authors:

Kelly D. Larson - NVIDIA Corp.

 

Winning Poster Presentation:

1P.14

UVM SchmooVM – I Want My C Tests!

Speaker:

Rich Edelman - Mentor Graphics Corp.

Authors:

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

 

Oral Presentation Honorable Mentions:

2.1

Sign-Off with Bounded Formal Verification Proofs

Speaker:

Vigyan Singhal - Oski Technology, Inc.

Authors:

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

Speaker:

David C. Brownell - Analog Devices, Inc.

Authors:

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

 

Poster Presentation Honorable Mentions:

1P.12

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

Speaker:

Gaurav K. Verma - Mentor Graphics Corp.

Authors:

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

Speaker:

Ram Narayan - Oracle Labs

Authors:

Ram Narayan - Oracle Labs