News and Events
05/07/08 - Calypto Completes Another Successful Financial Year with Record Bookings
03.24.08 - Calypto Releases PowerPro CG 2.0
02.18.08 - STARC Reduces SoC Design Power with Calypto’s Unique PowerPro CG Product
- The industry's only proven Sequential Logic Equivalence Checker
- Success Stories | White Papers
- SLEC System verifies RTL designs and system-level models without testbenches or assertions.
- Success Stories | White Papers | More
- SLEC System-HLS comprehensively verifies the RTL generated by High Level Synthesis (HLS) tools.
- Success Stories | White Papers | More
- SLEC RTL allows designers to confidently make complex power and performance optimizations.
- Success Stories | White Papers | More
- SLEC CG formally verifies PowerPro CG power optimizations.
- Success Stories | White Papers | More
Power Optimization
PowerPro CG
PowerPro CG (for PowerPro Clock Gating) is an Automated RTL Power Optimization Solution. PowerPro CG has reduced power by up to 60% in customers RTL designs
Success Stories | White Papers | More
