FormalWorld.org Portal Dedicated to All Things Formal Verification Launches at DVCon
Online Resource Designed to Serve Formal Verification Engineering Community
DVCon 2016 –– SAN JOSE, CALIF. –– February 29, 2016 –– FormalWorld.org, is an online community dedicated to advancing the widespread use of formal verification. Launched today during DVCon 2016 here, the goal of the website is to be a complete online resource for the expanding formal verification community.
Formal verification has become a critical technology in the modern verification flow. With an increasing number of end-users in need of education, information and peer-to-peer networking, the site provides easy, open access to a range of helpful resources.
FormalWorld.org will provide links to a broad range of information sources updated on a continuous basis. It will publish a monthly newsletter with recent developments and non-commercial, technical postings related to formal verification. An independently moderated email questions and answers forum also will be provided. A blog section will be offered for non-commercial, technical contributed articles from the formal engineering community.
The first edition features links to Jim Hogan’s Guide to Formal Verification published in DeepChip.com.
Links will be available to current events and news, a research center that consists of case studies, instructional videos and presentations, academic papers, training material, products and service providers, and topical articles.
The site will be managed by Jan Kuster, an independent consultant. Individuals and organizations are welcome to submit items for posting. OneSpin Solutions has provided the initial sponsorship for this site, but will take a hands-off role in its management.
“While formal verification is finding its way into many electronic development environments, there is still a limited supply of information available, ” notes Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Having an open, online resource rich with information and a question and answer forum available 24/7 should ease a user’s mind knowing he or she can access it at any time.”