For many years I have been writing about the need of EDA companies to find ways to expand the market served outside the traditional semiconductor customers. This is necessary in order to grow, and in fact maintain the revenue growth and the entrepreneurial spirit that characterizes the EDA industry.
OneSpin Solutions, introduced 360LaunchPad (more frequently referred to simply as LaunchPad), an adaptive formal technology platform that allows third-party companies with limited knowledge of formal technology to develop and deliver formal-based apps. The use of focused applications, or “apps,” is an effective way to target powerful, formal-based technology at certain verification problems. These apps provide in-depth, specific verification solutions in an automated fashion, often eliminating the need for end users to write assertions while improving ease-of-use.