Global training solutions for engineers creating the world's electronics
Menu
Doulos at DVCon U.S. 2023
March 2023|Event
Doulos is pleased to be exhibiting again at DVCon U.S. in San Jose, CA on February 27 – 2 March, 2023.
DVCon is the premier conference on the application of languages, tools, methodologies and standards for the design and verification of electronic systems and integrated circuits. The focus of this highly technical conference is on the practical aspects of these technologies and their use in leading-edge projects to encourage attendees to adopt similar techniques to improve their own design and verification flows.
Doulos Senior Member Technical Staff, Doug Smith will be presenting a paper "Doing the Impossible: Using Formal Verification on Packet Based Data Paths" as part of the Formal Restrained track on Tuesday, February 28. In this paper, Doug will present a step-by-step process, showing how to decompose a frame of data into simple formal constraints, modeling code, and assertions, which allows formal to fully explore the entire packet state space. View conference program »
Visit the Doulos team at booth 115 to learn about our wide range of training courses available.
Highest standard Doulos training at your own pace
October 2024|Event
December Workshop - Designing with the Versal Adaptive SoC: Memory Interfaces
December 2024|Event
Doulos at the Embedded Software Engineering Kongress
December 2024|Event
November Workshop - Migrating to the Vitis Embedded Software Development IDE
November 2024|Event