Sigasi Leverages OneSpin Solutions LaunchPad Technology to Integrate Formal Code Inspection Into HDL Authoring Environment

SAN JOSE, CA -- (Marketwired) -- Feb 09, 2016 -- 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, challenges facing every design team."

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 that 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."

The new formal inspection option for Sigasi Studio XL will be distributed initially by eVision systems, and demonstrated at its stand (Hall 4/4-560) at embedded world 2016 February 23-25 in Nuremberg, Germany. The VHDL option is available immediately for FPGA and ASIC design flows, with a Verilog version to follow later in the year. Pricing is available upon request.

About Sigasi

Sigasi is a privately held, angel-funded Electronic Design Automation (EDA) company based in Belgium. Sigasi creates and markets the popular Sigasi Studio design environment for HDL code authoring. Sigasi Studio is an intelligent hardware design tool that features advanced programming assistance for engineering teams who create microchips for strictly regulated and safety sensitive environments. Sigasi Studio is sold worldwide to industry leaders in medical, telecom, automotive, defense and aerospace. It reduces development times, enhances design team efficiency and takes the manual labor out of hardware design.

Email: info@sigasi.com Website: www.sigasi.com Follow Sigasi on Twitter @sigasi

About OneSpin Solutions

Electronic design automation (EDA) supplier OneSpin Solutions award-winning formal verification technology is based on more than 300 engineering years of development and application service experience. OneSpin's comprehensive product line simplifies designer verification, increases intensive block verification coverage, eliminates design refinement problems, and provides automated solutions for many complex verification problems. Leading telecommunications, automotive, consumer electronics and embedded systems companies rely on OneSpin to achieve the highest possible verification quality while reducing their time-to-market pressures. Its United States headquarters is located in San Jose, Calif. Corporate headquarters is in Munich, Germany. Email: info@onspin-solutions.com Website: www.onespin-solutions.com Follow OneSpin on Twitter @OneSpinSolution

OneSpin, OneSpin Solutions, OneSpin 360, 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 Solutions
(617) 437-1822

Email Contact

Annette Bley
Public Relations for OneSpin Solutions
+44 (0)20 7482 4800

Email Contact

Philippe Faes
CEO Sigasi
+32 9 277 00 50

Email Contact 





Review Article Be the first to review this article
CST: Webinar November 9, 2017

Synopsys: Custom Compiler

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Teklatech: Work smart, Not hard
More Editorial  
Jobs
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Upcoming Events
ARM TechCon 2017 at Santa Clara Convention Center Santa Clara CA - Oct 24 - 26, 2017
MIPI DevCon Bangalore 2017 at The Leela Palace Bengaluru India - Oct 27, 2017
The 2017 International Test Conference at Fort Worth Convention Center Fort Worth TX - Oct 31 - 2, 2017
MIPI DevCon Hsinchu City 2017 at Sheraton Hsinchu Hotel Taiwan - Oct 31, 2017
CST: Webinar series



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise