DVClub Portland – June 8 – Cliff Cummings (Sunburst Design) “SystemVerilog Assertions – Bindfiles & Best Known Practices for Simple SVA Usage”
Please join us on June 8th at the Westford Regency for a catered lunch and networking. Cliff Cummings of Sunburst Design will be our speaker. This is a presentation you don’t want to miss!
- 11:30am—Door Open / Networking
- 12:00pm—Lunch / Presentation by Cliff Cummings of 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 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.
Register now and bring your colleagues!