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.
OneSpin Solutions introduced Quantify MDV, which is an enhancement to the OneSpin 360 MV product family. The Quantify MDV formal metric-driven verification (MDV) solution automatically analyzes and measures formal verification progress and quality in register transfer level (RTL) designs. Quantify MDV is available now as part of the standard 360 MV product line, which starts at $25,000 for a one-year time-based license.
Forte Design Systems released the latest version of CellMath Designer datapath synthesis and Cellmath IP software. The CellMath family enables register transfer level (RTL) designers to reduce area, improve performance and lower power consumption for their existing datapath-intensive design blocks. U.S. pricing starts at $120,000 for a one-year, time-based license.