Please join us on May 17th at the Westford Regency for a catered lunch, networking, and presentation by Cliff Cummings, president of Sunburst Design. After lunch, we will also enjoy a tutorial by Adnan Hamid, CEO of Breker Verification Systems.

Westford Regency

219 Littleton Rd 
Westford, MA 01886
Wednesday, May 17, 2017 from 11:30 AM to 1:30 PM (EST)
View Map 

Agenda

11:30am Doors Open / Networking
12:00pm Lunch and Presentation: ""SystemVerilog Assertions - Bindfiles & Best Known Practices for Simple SVA Usage" by Cliff Cummings
12:45pm Networking
1:00pm Tutorial: "Portable Stimulus with Breker’s TrekSoC tool" by Adnan Hamid

Registration Now Open - Click to RSVP

Presentation by Cliff Cummings, President, Sunburst Design:

SystemVerilog Assertions - Bindfiles & Best Known Practices for Simple SVA Usage  

SystemVerilog Assertions (SVA) can be added directly to the RTL code or be added indirectly through bindfiles. Best known practices suggest that it is better to add most assertions using bindfiles. This paper will explain why adding assertions directly to the RTL code can be problematic and why bindfiles solve many of the problems. This paper also explains how to use bindfiles efficiently and why engineers should generally use concurrent assertions while avoiding immediate assertions. This paper will also give assertion coding guidelines and styles that help reduce assertion coding effort, assertion coding mistakes and encourage designers to be more proactive in adding assertions to their designs.

Cliff Cummings

Cliff Cummings is President of Sunburst Design, Inc., a company that specializes in world-class SystemVerilog, Synthesis and UVM Verification training. Cliff has presented hundreds of SystemVerilog seminars and training classes and has been a featured speaker at multiple world-wide SystemVerilog and Assertion Based Verification seminars. Cliff has been an active participant on every IEEE Verilog and SystemVerilog committee, and has presented more than 50 papers on Verilog & SystemVerilog related design, synthesis, and OVM/UVM verification techniques, including more than 20 that were voted "BestPaper." Cliff holds a BSEE from Brigham Young University and an MSEE from Oregon State University.

 

 

Tutorial

"Portable Stimulus with Breker’s TrekSoC tool" by Adnan Hamid, CEO, Breker Verification Systems  

Portable Stimulus is the next big thing in Functional Verification! In this tutorial we will look at creating self-checking models that capture verification intent. These models can be run under UVM at the unit level and sub-system level and using Software Driven Verification (C test cases) at the full chip level in simulation, emulation or post silicon. We will look at debug, coverage and coverage closure in each environment. 

  • Adnan Hamid - Adnan has spent some 20 odd years researching how engineers reason about and represent verification knowledge, and developing strategies for automating test scenario generation from these representations. His prior roles include managing AMD’s system logic division, leading AMD’s microprocessor verification group and serving as subject matter expert in System Level Verification at Cadence. He received BS degrees in Electrical Engineering and Computer Science from Princeton University and an MBA from the University of Texas at Austin.