Tag Archives: power optimization

OneSpin Solutions Debuts RTL-to-RTL Equivalence Checking Software

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.

Continue reading

Calypto PowerPro 4.1 for RTL Power Optimization

Calypto Design Systems rolled out version 4.1 of PowerPro, which is an advanced RTL power optimization product family. Calypto’s PowerPro 4.1 runs on PC platforms running Linux. PowerPro CG and PowerPro MG are each priced at $295K for a one-year, time-based license. PowerPro Analyzer is included with either PowerPro CG or PowerPro MG.

Continue reading