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 »