Calypto Joins ARM Connected Community

Verification and power optimization platforms for electronic design improve design quality, reduce power consumption

Calypto’s SLEC® (Sequential Logic Equivalence Checking) and PowerPro® platforms are used by seven out of the top ten semiconductor companies and most leading consumer electronics companies. Calypto’s products enable electronic designers, including ARM customers, to dramatically improve design quality and reduce power consumption of their system-on-chip (SOC) devices.

Our products help engineers improve the quality of their ARM hardening flow in two ways,” said Doug Aitelli, Chief Executive Officer at Calypto. “PowerPro reduces the power of the ARM processor and surrounding SOC, and SLEC provides a comprehensive formal verification of the RTL to make sure that no functional errors were introduced during the ARM hardening process. This verification eliminates the need to redesign testbenches and rerun exhaustive simulations, enabling ARM customers to tapeout SOCs with ARM intellectual property faster. As a member of the ARM Connected Community, we now have the opportunity to extend our reach and add value to more of ARM’s customers.

The Connected Community is all about companies working together to provide the most complete solutions in the shortest possible time. By joining the Community, which now comprises more than 850 companies, Calypto increases the large portfolio of skills, products and services that are centered around the ARM architecture, and currently available to developers worldwide,” said Lori Kate Smith, Senior Manager Community Programs for ARM.

Calypto Verification and Power Consumption Benefits for ARM Connected Community
PowerPro CG is used to help ARM’s Connected Community reduce the power consumption of their ARM processors or the surrounding SOC design. Using Calypto’s patented Sequential Analysis Technology, PowerPro CG (Clock Gating) analyzes the design intent of the ARM processor and derives areas where additional clock gating can be implemented or improved. PowerPro then can be used to automatically or manually reduce the power consumption, and SLEC formally verifies the result. In addition, PowerPro MG (Memory Gating) reduces power in the memory sections of a design, creating controllers to shut off the memories for longer period of times. This saves dynamic power, through gating of the memory enable, or leakage power, through activation of light sleep mode.