OneSpin Solutions launched 360 EC-RTL equivalence checking software. OneSpin’s 360 EC-RTL compares revisions of register transfer level (RTL) code. 360 EC-RTL is part of the OneSpin 360 EC Product Family. It is a RTL-to-RTL equivalence checker used to exhaustively compare two revisions of synthesizable RTL code. The software features robust register, sequential and power optimization verification. 360 EC-RTL is shipping now.
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.
OneSpin’s 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 use 360 EC-RTL, 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 software 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.
More info: OneSpin Solutions