Latest Past Events
Dealing with Complexity in Formal through Abstraction and Reduction
In the world of formal verification, abstractions along with design reductions, help reduce the state space and make it easier for formal to converge on its proofs. In this webinar Doulos Senior Member Technical Staff, Doug Smith will explore the process of abstraction, safe design reductions, and when to use them. Doug will show practical… Dealing with Complexity in Formal through Abstraction and Reduction
How AI and Semiconductors Will Drive Innovation and Productivity
Semiconductors are critical to the functioning of the modern world driving economic competitiveness, national security, and technologies ranging from modern defense capabilities to autonomous vehicles. Artificial Intelligence and the hardware used in this platform are impacting how the world will use information to increase productivity. The semiconductors used in these platforms are instrumental to its… How AI and Semiconductors Will Drive Innovation and Productivity
DVCon Japan 2023
Kawasaki CIty Industrial Promotion Hall Kawasaki CityThe Design & Verification Conference & Exhibition 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… DVCon Japan 2023