Functional Verification
  • The industry's only proven Sequential Logic Equivalence Checker
  • White Papers
SLEC System
  • SLEC System verifies RTL designs and system-level models without testbenches or assertions.
  • White Papers | More
SLEC System-HLS
  • SLEC System-HLS comprehensively verifies the RTL generated by High Level Synthesis (HLS) tools.
  • White Papers | More
SLEC RTL
  • SLEC RTL allows designers to confidently make complex power and performance optimizations.
  • White Papers | More
SLEC Pro
Power Optimization
PowerPro CG
PowerPro MG
PowerPro Analyzer
PowerAdviser Flow
  • Ensures designs are power optimized to the fullest extent.
  • More
Customer Logos