Sigasi Leverages OneSpin Solutions LaunchPad Technology to Integrate Formal Code Inspection into HDL Authoring Environment
Enables Early Bug Detection During Code Editing For FPGA, ASIC Designers
—
OneSpin Solutions, provider of innovative formal verification solutions, and Sigasi, provider of hardware description language (HDL) design software, today announced the integration of the OneSpin formal-based design inspection software with Sigasi’s HDL authoring system Sigasi Studio XL.
The solution gives designers a way to run formal-based structural code checks within Sigasi’s environment at the point of edit, spotting issues that otherwise require additional verification effort. The use of formal techniques eliminates much of the false error-reporting characteristic common in rule-based linting tools, accelerating the verification process. Combining Sigasi Studio XL with the formal inspection capability from OneSpin enables early bug detection when changes are easier to make and less costly.
“Designers are under increasing pressure to eliminate bugs upfront in their code before transfer to the verification process,” says Dr. Raik Brinkmann, OneSpin Solutions’ president and chief executive officer (CEO). “Linking formal verification-based inspection with Sigasi’s HDL authoring solution will ensure cleaner designs and greater productivity, while allowing designers to jump start formal analysis from the Sigasi editing environment.”
The integration was accomplished using OneSpin’s LaunchPad technology. LaunchPad provides a mechanism for third-party, domain experts to leverage formal technology in their products without having to develop it themselves. The structural analysis section of OneSpin’s 360 DV-Inspect™ tool has been directly included within Studio XL. Furthermore, immediate access is provided to OneSpin’s full range of formal Design Verification solutions, which may be launched from Studio XL for enhanced design inspection and verification.
“Early verification activities always pay off since errors become more expensive the later they are detected,” notes Dr. Philippe Faes, Sigasi’s CEO. “The combination of formal directly into code editing, means earlier verification catching issues as they occur.”