close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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.”

About OneSpin Solutions

OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin enables users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:
Website: www.OneSpin.com
Twitter: @OneSpinSolution 
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions

OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins                          
Public Relations for OneSpin 
(617) 437-1822                                       
nanette@nvc.com

Back