Related
OneSpin Launches Industry’s First Comprehensive Solution For Automatic Metric-Driven Formal Assertion-Based Verification Coverage Analysis And Measurement
MUNICH, Germany, TOKYO, and SUNNYVALE, Calif. – May 23, 2011 – OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today announced Quantify MDV, the industry’s first formal metric-driven verification (MDV) solution that automatically and comprehensively analyzes and measures formal verification progress and quality in register transfer…
OneSpin Solutions Announces 360 MV-Based Formal Verification Environment Adopted By Renesas Electronics Microcontroller Platforms
MUNICH, Germany, TOKYO, Japan and SUNNYVALE, Calif. – May 16, 2011 – OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today announced the adoption of its functional verification environment based on the OneSpin 360MV formal verification solution for Renesas Electronics’ microcontroller (MCU) platforms.The new environment has proven to…
OneSpin Solutions Adds RTL-to-RTL Equivalence Checking to Product Family
MUNICH, GERMANY –– February 11, 2013 –– OneSpin Solutions™ (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) solutions, announced immediate availability of 360™ EC-RTL, equivalence checking software that compares revisions of register transfer level (RTL) code. 360 EC-RTL is part of the OneSpin 360 EC Product Family. An RTL-to-RTL equivalence checker used to exhaustively…