News and Events
08/04/08 Calypto’s PowerPro CG Selected by AMD to Reduce Power in Processor Designs
07/14/08 Calypto's Sequential Equivalence Checking Product Supports New Cadence C-to-Silicon Compiler
07/08/08 Calypto Selects Saline as its Exclusive Distributor in Korea
- 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
- RTL power optimization products.
- Success Stories | White Papers
- PowerPro CG automates RTL power optimization.
- Success Stories | White Papers | More
- RTL Power Profiling Utility.
- Success Stories | White Papers | More
