Introducing ModelSim DE, Support for Xilinx SecureIP and Assertion-Based Verification with SystemVerilog and PSL
On-demand Web Seminar
Abstract
ModelSim now offers support for Xilinx SecureIP and assertion-based verification with SystemVerilog and PSL support. The web seminar will review these new features and more.
Duration: 01:12:45
Opens in New Window/External URL
Tags
Details
Overview
The webinar will introduce you to the features and capabilities now available in ModelSim DE, including support for Xilinx SecureIP and assertion-based verification with SystemVerilog and PSL support.
You already know that ModelSim is the simulator of choice for leading electronics companies in all industries. In addition to native compile, single kernel simulation technology, an intuitive, easy-to-use GUI, integrated project management, source code templates and wizards, ModelSim now offers support for Xilinx SecureIP and assertion-based verification with SystemVerilog and PSL support.
About the Presenter
Walter Gude
Walter has 19 years experience in ASIC/FPGA design and holds a MS in Electrical Engineering from Washington University in St. Louis. He worked for 6 years doing ASIC design at Tellabs Operations. From there, he went to work for Mentor Consulting where he consulted on various projects including time spent in Munich Germany and Helsinki Finland. For the last 5 years Walter has worked as an Application Engineer supporting Mentor's line of Functional Verification Projects.
Who Should View
- Design and Verification engineers
Related Resources
Multimedia
The 2012 Wilson Research Group Functional Verification Study
Every two years, Mentor Graphics commissions Wilson Research Group to conduct a broad, vendor-independent study of design verification practices around the world. In this presentation, Harry Foster...…View On-demand Web Seminar
ModelSim Simulation of Waveforms and Debug Demo for Beginners
This training provides an overview of Mentor Graphic's ModelSim® software. You will learn the basics about simulation and how to simulate with projects. You will learn how to work with multiple libraries...…View Product Demo
ModelSim to Questa Core: Adopting Assertion-Based Verification to Improve Your FPGA Debug and Design Quality
Learn how Questa® Core enables ABV through support of SystemVerilog Assertion (SVA) constructs and the Property Specification Language (PSL).…View On-demand Web Seminar
Other Related Resources
Understanding DO-254 and Solutions to Facilitate Compliance
White Paper: RTCA/DO-254 (also known as DO-254 in the US or ED-80 in Europe) provides guidelines to facilitate requirements-based design of airborne electronic hardware. Now mandated by the US Federal Aviation Association...…View White Paper
Enabling Model-Based Design for DO-254 Compliance with MathWorks and Mentor Graphics Tools
White Paper: DO-254 compliance is becoming increasingly common on commercial and military aviation projects. Companies often struggle with the requirements and costs of DO-254 compliance. Engineers can use Model-Based...…View White Paper
ModelSim DE Evaluation Software
Software Evaluation: Introducing ModelSim DE. Debug productivity and observability in a ModelSim package.…View Software Evaluation