Questa Formal - Verification Horizons

Thank you for making osmosis 2024 a success! The annual osmosis 2024 event has once again proved to be a…

Calling all formal verification enthusiasts: We are excited to invite you to osmosis 2024, marking the 5th anniversary of this…

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8…

Among the reasons to go to university are the opportunities to open new career paths by learning new technical skills,…

This year’s DVCon U.S. saw many great papers, posters, and tutorials; covering almost every aspect of functional verification. Thus, in…

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

[Preface: I briefly interrupt my series on The Many Flavors of Equivalence Checking to share this report on an important…