Welcome to FormalWorld.org!
FormalWorld.org, an open and free community that provides users with the latest news, forums, tutorials, and technical information in Formal Verification.
We encourage you to tap this site for answers to your design and verification questions, as well as post ideas, discuss issues and explore resources.
Formal Verification is a technology that has become essential in the modern verification flow. We believe the design and verification community will greatly benefit from this site, and decided to create and fund FormalWorld.org. The site is offered for use to the entire design and verification community at no charge.
So, tune in, turn on and start connecting! Look around our resources section, post questions in the forum, if you have information to share, a blog you would like to write, or ideas you would like to discuss about the site, please contact us.