Global training solutions for engineers creating the world's electronics
Verification Futures Conference 2024 USA
September 2024|Event
Doulos is pleased to again support Verification Futures Conference 2024 USA on Thursday, September 12 in Austin, TX (USA) and online.
This FREE one-day conference provides a unique blend of presentations, exhibitions, training and industry networking sessions dedicated to discussing the challenges faced in hardware and software verification. It also gives an opportunity for end-users to define their current and future verification challenges and collaborate with the vendors to create solutions.
Doulos Senior Member Technical Staff, Doug Smith, will be presenting two sessions:
Signing Off with Formal
If you have only used formal apps or verified a few properties using modeling checking, then how do you sign-off on a project using formal just like a simulation-based verification environment? The answer is a good formal methodology and objective formal coverage. In this tutorial, we will have a look at both and discuss different types of formal coverage and how to interpret them. Read full description »
Practical Hacks for SystemVerilog Coverage
Ever wondered how to reuse coverpoints across several covergroups? Or how to collect coverage in different hierarchies? SystemVerilog coverage gets the job done, but it still has some missing, unexpected, and even head scratching behaviors. This tutorial will discuss several of these issues and offer some tips and hacks to work around them. Read full description »
Find out more and register (FREE) for Verification Futures Conference 2024 USA »
Doulos at NDC TechTown 2024 Norway
September 2024|Event
Doulos Gold Sponsor for Verification Futures Conference 2024 USA
September 2024|Event
August Workshop - Designing optimized FIRs with AMD Versal and Matlab
August 2024|Event
July Workshop - Unveiling the AMD Versal Adaptive SoC AI Engine
July 2024|Event