Apps Model Links Formal Verification Platform to Automatic Register Verification Software
LOWELL, MASS., and SAN JOSE, CALIF. –– May 21, 2015 ––OneSpin Solutions™ and Agnisys Inc. today signed a multi-year original equipment manufacturer (OEM) agreement, whereby Agnisys will integrate OneSpin 360 LaunchPad™, the company’s new Adaptive Formal Platform, into its ARV-Formal™ automatic register verification software.
Introduced today by OneSpin Solutions, LaunchPad gives third-party suppliers a way to embed its formal verification software into their products, or “apps.” (See separate news release titled “OneSpin Solutions Catalyzes Unique, Third-Party Verification Solutions by...
OneSpin 360 EC-FPGA Used to Verify Microsemi FPGA Designs, including SmartFusion2 SoC FPGAs and IGLOO2 FPGAs for Safety Critical Applications
ALISO VIEJO and SAN JOSE, CALIF. –– March 23rd, 2015 –– Microsemi Corporation (Nasdaq: MSCC), a leading provider of semiconductor solutions differentiated by power, security, reliability and performance, and OneSpin Solutions™ today announced that OneSpin® 360 Equivalence Checking (EC)-FPGA verification solution now fully supports the Libero® System-on-Chip (SoC) design flow.
Equivalency Checking has become a critical component in the verification of high-reliability designs such as Safety Critical components, ensuring that no...
Capability Enables Functional Verification of High-Level SystemC Code
SAN JOSE, CALIF. –– February 24, 2015 –– OneSpin® Solutions, provider of innovative formal verification and formal equivalence checking solutions, today announced that OneSpin 360 DV™ now supports the SystemC language, delivering the first SystemC Assertion-Based Formal Verification Solution.
The addition of SystemC is a natural extension of the OneSpin 360 DV tool suite, allowing engineers to receive the full benefits of formal Assertion-Based Verification (ABV) and automated design inspection solutions for their SystemC design code. Both C language assertions as well as the SystemVerilog Assertion...
Quantify’s Patented Technology Drives Coverage Accuracy Across Existing Verification Flows
SANTA CLARA, CALIF. –– February 19, 2014 ––OneSpin Solutions™, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, today announced Quantify™, patented software already proven in integrated circuit (IC) development environments to increase the precision with which verification coverage may be measured.
“While coverage measurement has been an essential element of the verification process, established methods have shortcomings that lead to the increased risk of post-production bugs and elongated engineering schedules,” says Dr. Raik...
Increases Adoption of Formal Assertion-Based Verification Software for ASIC, FPGA Designs
SANTA CLARA, CALIF. –– January 16, 2014 –– OneSpin Solutions™, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, finished 2013 with 100% revenue growth, doubling revenue and tripling year-to-year bookings for a 200% growth over 2012.
Adoption of OneSpin’s formal verification software increased for both application specific integrated circuit (ASIC) and field programmable gate array (FPGA) designs in 2013. This lead to growth in business from existing customers as well as an increased number of new customers ...