OneSpin Solutions Adds RTL-to-RTL Equivalence Checking to Product Family

OneSpin Solutions Adds RTL-to-RTL Equivalence Checking to Product Family 
360 EC-RTL Features Robust Register, Sequential Checking, Power
Optimization Verification Options 
MUNICH, GERMANY -- (Marketwire) -- 02/11/13 --  OneSpin Solutions(TM)
(, provider of innovative formal
assertion-based verification (ABV) solutions, announced immediate
availability of 360(TM) 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 compare two
revisions of synthesizable RTL code, it features robust register,
sequential and power optimization verification. 
"Our formal verification solutions now span the entire SoC design
project and can be used by system integrators, verification engineers
and designers," notes Dr. Raik Brinkmann, OneSpin Solutions'
president and chief executive officer. 
Introducing 360 EC-RTL
 OneSpin's 360 EC-RTL compares two revisions
of synthesizable RTL code without the need for testbenches or
simulation vectors. It checks register optimizations for duplication,
merging, removal of constant flop and movement across hierarchies. A
re-encoding feature eliminates the need for a user to re-input finite
state machine (FSM) encoding knowledge. 
360 EC-RTL supports Verilog, SystemVerilog and VHDL, automatically
handling duplicate, merged and constant registers. Output formats can
be either a log file when used in batch mode or a graphical user
interface with source view, schematic and driver/load tracing. The
tool can be used to revise IP and RTL code and to compare VHDL and
Verilog versions of an IP block. 
To employ the tool, a verification engineer inputs the golden
Verilog, SystemVerilog or VHDL RTL code, as well as the modified RTL
code to run the equivalence checker. The tool then automatically
compares the new RTL code with the golden RTL code. If the code is
modified, the modified version would be entered as well and run
through the equivalence checker. The tool would automatically compare
the new RTL code with the golden RTL code. 
The OneSpin Solutions Product Portfolio
 OneSpin Solutions provides
comprehensive formal verification solutions across the entire
em-on-chip (SoC) design project. Its software is in use on
application specific integrated circuit (ASIC) and field programmable
gate array (FPGA) designs to reduce verification effort and costs and
deliver high functional quality.  
The OneSpin 360 EC Product Family is an automated verification
solution to show the functional equivalence of design
representations. It can be used standalone for full-chip
implementation design equivalence in both ASIC and FPGA flows or in
conjunction with the OneSpin 360 DV Product Family to preserve design
quality through subsequent implementation and optimization phases.
(See accompanying news release also issued today titled, "OneSpin
Solutions Unveils OneSpin 360 DV Product Family.") 
The OneSpin 360 DV Product Family covers the full spectrum of formal
ABV applications, from push-button automatic RTL analysis to
OneSpin's unique GapFreeVerification(TM). OneSpin 360 DV accelerates
a variety of verification tasks, shortens verification schedules and
enables engineers to achieve a design quality that cannot be ensured
by any other functional verification approach. It enables
step-by-step learning, making new users productive in days. 
The OneSpin Product Family will be demonstrated February 26-27 from
3:30 p.m. until 6:30 p.m. at DVCon 2013 at the Doubletree Hotel in
San Jose, Calif. Details about DVCon can be found at: 
 OneSpin's 360 EC-RTL is shipping now. Pricing is
available upon request.
 For more information, visit  
About OneSpin Solutions
 Electronic design automation (EDA) supplier
OneSpin Solutions of Munich, Germany, was founded in 2005 as a
spin-off from Infineon Technologies AG. It leverages more than 300
engineer-years of formal verification technology development and
application service experience to enable design teams to avoid costly
redesigns and respins, while dramatically cutting their verification
effort and costs and time-to-market pressures. Market-leading
telecommunications, automotive, consumer electronics, and embedded
systems companies rely on OneSpin to reduce their verification effort
and achieve the industry's highest possible verification quality.
Email: Website:  
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and
GapFreeVerification 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 
Press spacebar to pause and continue. Press esc to stop.