Thursday, August 18, 2011
The Biltmore Hotel
2151 Laurelwood Road
Santa Clara, CA 95054 see map
This half-day seminar is for hardware designers with practical knowledge of Verilog and/or VHDL. It prepares the student for practical usage of assertions in verification tools by explaining basic ideas, introducing key elements of assertions illustrated with simple examples and presenting complete design demonstrating various uses of assertions. Examples use SystemVerilog Assertions (SVA) and Property Specification Language (PSL) in parallel, giving students more options of further study. Presenter: Jerry Kaczynski, Aldec Research Engineer.
Part I: What Assertions Really Are, Absolutely Necessary Background Info, Why Bother to Use Assertions, How to Use Assertions
Part II: Sequences, Properties, Asserts, Covers and Other Directives
Part III: Assertions in the Tools, Design Example Walk-through, Recommendation
|9:00 am||Session begins|
|11:30 am||Lunch (provided)|
|1:00 pm||Session ends|
Seating is Limited. Register today at www.aldec.com/events.
We invite you to share this free training information with your colleagues. For a printable event flyer, please click here. For more free educational tools, including webinars, technical papers, tutorials and more, please visit www.aldec.com.
Aldec Inc., headquartered in Henderson, Nevada, is an industry leader in Electronic Design Verification and offers a patented technology suite including: RTL Design, RTL Simulators, Hardware-Assisted Verification, Design Rule Checking, IP Cores, DO-254 Functional Verification and Military/Aerospace solutions. www.aldec.com
ASICSoft is an engineering services and product marketing company. Our mission is “Designs on Time”. We partner with technical leaders in various aspects of their designs in order to assist them hit their design milestones on time. www.asicsoft.com