Versal Adaptive SoCs ONLINE WORKSHOP
Standard Level – 2 sessions (4 hours per session including breaks) With thanks to AMD Xilinx for sponsoring this workshop: It is available to attend FREE… Read More »Versal Adaptive SoCs ONLINE WORKSHOP
Doulos
Verification Futures 2023 UK
The Verification Futures conference provides a unique blend of conference presentations, exhibitions, training and industry networking sessions dedicated to discussing the challenges faced in hardware… Read More »Verification Futures 2023 UK
Become an SVA Expert in One Hour
Doulos Co-Founder & Technical Fellow John Aynsley will teach the core principles necessary to understand and use SystemVerilog Assertions, focussing on the aspects of SVA that are… Read More »Become an SVA Expert in One Hour
Formal Verification for Non-Specialists
Is formal verification ready for general use or do you need a PhD to use it? Larger companies continue to recruit formal PhDs into their verification… Read More »Formal Verification for Non-Specialists
Merry Christmas 2022
I found the first holiday video from Ansys posted on December 14th, so enjoy the photos and videos to bring you some cheer as 2022… Read More »Merry Christmas 2022
Dealing with Inconclusive Formal Proofs
Formal proofs of end-to-end properties can be a very valuable contribution to RTL sign-off and yet are often the most difficult to achieve. In this… Read More »Dealing with Inconclusive Formal Proofs
The Keys to SystemC & TLM-2.0: How to be Successful
SystemC has become well-established as the language of choice for system modeling and virtual platform creation and integration, and is now being applied successfully for… Read More »The Keys to SystemC & TLM-2.0: How to be Successful
Debugging Features of UVM
A UVM testbench is a large and complex piece of software. At some stage, like any other large and complex piece of software, a verification… Read More »Debugging Features of UVM
Become an SVA Expert in One Hour
Doulos Co-Founder & Technical Fellow John Aynsley will teach the core principles necessary to understand and use SystemVerilog Assertions, focussing on the aspects of SVA that are… Read More »Become an SVA Expert in One Hour
Versal ACAP Workshop Online
The Xilinx Versal ACAP platform is multi-featured, offering unprecedented system level performance and integration. This informative workshop (delivered in 2 half day sessions) is a… Read More »Versal ACAP Workshop Online