Datasheets

* = User Information Required Before Download

Title Date Type Product Highlight
PowerPro Product Family DatasheetOn-GoingDatasheetPowerPro
Catapult Product Family DatasheetOn-GoingDatasheetCatapult
SLEC Product Family DatasheetOn-GoingDatasheetSLEC

White Papers

* = User Information Required Before Download

Title Date Type Product Highlight
*RTL Power Reduction & High Level Synthesis Report 2013May 2013White PaperPowerPro

This report covers trends in the area of low power design and C based design. The report analyzes the survey results of 648 engineers and engineering managers and identifies relevant emerging trends.

*Implementing an Efficient RTL Clock Gating Analysis Flow at AMDJanuary 2013White PaperPowerPro

This paper provides an overview of how AMD used PowerPro to improve clock-gating efficiency, and shares the results and advantages of doing power analysis at the RTL stage rather than waiting until post-gate synthesis.

*Catapult LP for a Power Optimized ESL Hardware Realization FlowNovember 2012White PaperCatapult LP

This paper describes, in general, the Catapult® flow for exploring low power architectures, and it discusses in detail the low power optimization results achieved using the Catapult LP design flow. The case study was conducted using real customer designs. Designs were synthesized using Catapult with and without low power optimizations turned on. With low power optimizations on, Catapult uses the Calypto PowerPro® technology under the hood for implementing RTL power optimization techniques and for estimating a design’s power usage.

*Memory Power Reduction in SoC Designs Using PowerPro MGWhite PaperPowerPro MG

Memories occupy over 50% of the silicon real estate on most modern SoCs and account for 50-70% of the power dissipation. We will show how Calypto’s PowerPro MG tool can significantly reduce the dynamic and leakage power consumption in memories by automatically inserting new memory gating logic to remove redundant reads/writes and control the sleep modes available in these memories.

*Low Power RTL Report 2012April 2012White PaperPowerPro CG

This report covers trends in the area of low power design, based on an independent, global RTL power analysis and optimization survey.

*High-Level Synthesis Report 20112011White PaperCatapult

This report analyzes the survey results of 1,133 engineers and engineering managers and identifies relevant emerging trends.

*7 Steps to Higher Productivity: STMicroelectronics HLS Flow for Complex IPsDecember 2010White PaperCatapult

This paper covers STMicroelectronic’s project, where they wanted to have a completed video processor IP design in silicon in time for CES 2010, so they could fully demonstrate the 3D graphic capability of their latest SOC.

*Advanced Algorithmic Evaluation for Imaging, Communication and Audio Applications - Eigenvalue Decomposition Using The Catapult® Algorithmic Synthesis MethodologyWhite PaperCatapult

This paper discusses the hardware implementation of “eigenvalue decomposition”. Therefore, we developed two effective algorithms in ANSI C++ to obtain eigenvalues and synthesized them with Catapult Synthesis to compare the area versus the number of cycles at the algorithm level, respectively.

*Designing High Performance DSP Hardware Using Catapult C Synthesis and The Altera Accelerated LibrariesWhite PaperCatapult

This paper covers the design flow consisted of modeling the algorithm functionality in a high-level language such as C++ and then hand-coding it in RTL.

*Automating Sequential Clock Gating with PowerPro CGWhite PaperPowerPro CG

This paper describes sequential analysis and its application to clock gating. An example of sequential clock gating is given as well as a case study of reducing power in a digital signal correlation block using an automated RTL power optimization tool.

*Power Optimization of a Configurable Video Platform using PowerProâ„¢ CGOn-goingWhite PaperPowerPro PA

With the proliferation of mobile multimedia devices, designers are challenged to provide the most advanced features to users while balancing the need to deliver the longest battery life possible.

*The PowerPro PowerAdviser flow: A Manual Use Mode for Applications that Require User InterventionOn-goingWhite PaperPowerPro PA

PowerPro CG provides an automated solution to reduce this part of the design time to essentially cut it down to just machine runtime per block. In this paper, we describe a flow that enables two use models; one is to enable the use of PowerPro for designers who must meet very aggressive performance goals and would therefore prefer to optimize their RTL manually, and the other is to enable users of the automated PowerProCG flows to get even better results by providing hints based on sequential analysis.

*Utilizing Clock-Gating Efficiency to Reduce Power in RTLWhite PaperPowerPro CG

With the advent of the consumer era and the popularity of mobile applications, power optimization is the mantra of the day. Designers go through several iterations to optimize power in order to achieve their power budgets. The average Clock-Gating Efficiency for a design is a much better indicator of dynamic power consumption because it is a measure of both how many and how long registers are gated.

*Integrating Sequential Logic Equivalence Checking with the Cadence C-to-Silicon FlowOn-goingWhite PaperSLEC HLS

Specific emphasis is placed on the integration between SLEC and Cadence C to Silicon Compiler (CtoS).

*Sequential Equivalence Checking: A New Approach to Functional verification of Datapath and Control Logic ChangesWhite PaperSLEC RTL

This paper introduces a novel solution, sequential equivalence checking, as well as suggestions to improve testbench robustness to minimize impact of sequential changes on functional verification.

*RTL Verification Without TestbenchesWhite PaperSLEC RTL

Sequential equivalence checking technology reduces testbench requirements, improving productivity and giving designers more opportunities to optimize their RTL designs. This paper traces the development of a DES encryption design to demonstrate the advantages of doing RTL verification without testbenches.

Case Studies

* = User Information Required Before Download

Title Date Type Product Highlight
*Reducing Power Consumption in a 20 million Gate Fiber Channel Switch SOCCase StudyPowerPro CG

This case study covers a leading networking company’s validation of PowerPro CG results on two projects. Based on these successes, they have incorporated PowerPro CG into their low-power design SoC design flow.

*Applying RTL Clock Gating to Reduce Power in Graphics Processors ChipsCase StudyPowerPro PA

This case study covers nVIDIA: “RTL power optimization is a critical step in our high-performance, low-power design methodology for PC graphics, visual computing and applications processors. PowerPro CG has shown substantial power savings on designs, including blocks already manually optimized for low power by RTL designers.”

*PowerAdviser: An RTL Power Platform for Interactive Sequential OptimizationsCase StudyPowerPro PA

In this Texas Instrument case study, an interactive sequential analysis flow called PowerAdviser is introduced. The flow provides information to the user about redundant clock toggles where the automatic tool has not been able to identify a suitable clock gating condition to save power.

*STARC Recommends PowerPro CG For RTL Power OptimizationCase StudyPowerPro CG

This case study discusses the evaluation criteria, process and results that led to the certification of PowerPro CG by STARC for its member companies.

*Leveraging System Models for RTL Functional Verification using Sequential Logic Equivalence CheckingCase StudySLEC

This case study describes the system-level design flow of a commercial graphics processing chip. In this flow, system models are developed to validate the arithmetic computation of video instructions and then used verify the RTL implementation using SLEC.

Technical Papers

* = User Information Required Before Download

Title Date Type Product Highlight
*DATE - A Semi-Canonical Form for Sequential AIGsFebruary 2013Technical PaperSLEC Product Family Overview

Calypto collaborated with UC Berkeley to develop an innovative way to detect isomorphisms within logic designs. Our work, presented in DATE 2013, describes a way to use simulation to quickly identify isomorphisms. 

*DATE - PowerAdviser: An RTL Power Platform for Interactive Sequential OptimizationsMarch 2012Technical PaperPowerPro PA

In this paper we present an interactive sequential analysis flow, PowerAdviser, which besides performing automatic sequential changes also provides information for additional power savings that the user realized through manual changes. Using this new flow they achieved dynamic power reduction up to 45% more than a purely automated flow.

Data Types

* = User Information Required Before Download

Title Date Type Product Highlight
*AC Datatypes10/01/12Data TypeCatapult SL

Videos

* = User Information Required Before Download

Screenshot Date Type Product Title & Highlight
May 2013VideoPowerPro Minimizing RTL Power Through Sequential Analysis (RTL #1) - EU/IN Webinar Series

A Webinar on the Latest Techniques for Power Optimization at RTLAbstract:Analysing and optimizing power at RTL can significantly reduce power but is challenging especially when done manually. The widely used practice of inserting clock gating may not be very effectivewithout considering the sequential nature of the design and representative switching activity.
In this 50 minute webinar, Calypto will review the requirements for a comprehensive methodology to reduce power at the RTL level. The webinar will cover more advance topics such as how to analyze the RTL for wasted power and show optimization techniques to reduce power on real designs. The latest technique of sequential analyses will be described including stability based and the more difficult observability based sequential clock gating that provides maximum power optimization.
(recorded live 5/23/13)

April 2013VideoPowerPro *Impact of Sequential Clock Gating on Design Flow and Verification - Webinar

It is a well-known fact that sequential clock gating is more global in nature and offers more power savings over combinational clock gating. However, sequential clock gating is very complex as it involves temporal analysis over multiple clock cycles as well as examination of the stability, propagation, and observability of signal values. Trying to do sequential clock gating manually is extremely difficult, if not impossible, as it requires keeping track of data values over multiple cycles. Recently, new tools have come to the market that automate the analysis and insertion of sequential clock gating. However, since sequential clock gating can potentially change the behavior of flops and memories, it introduces new verification challenges. Traditional verification methodologies such as simulation are not effective and are too time consuming. Sequential formal verification may very well be the answer.

In this webinar, Calypto will show the latest in sequential clock gating methodologies and its impact on the overall design flow. Latest sequential formal analysis, automated sequential clock gating, ECO and verification will be described.

February 2013VideoPowerPro MG *Dynamic/Leakage Power Reduction in Memories (RTL #2) - Webinar

In this webinar, Calypto will show how its patented sequential analysis technology can be applied to reduce memory power. Deep sequential analysis examines the read and write operation of memories over several cycles and automatically optimizes the memories for both dynamic and leakage power. It also implements optimized sleep modes for the memory. (Recorded Live 02/12/2013)

December 2012VideoCatapult *Comparing C++ to SystemC for HLS (HLS #1) - Webinar

A practical comparison between SystemC and C++ for High Level Synthesis

Have you ever wondered the difference between C++ and SystemC for high level synthesis (HLS)? This 50 minute webinar will provide a practical overview of the differences between the two most common ESL hardware description languages. The webinar will show side by side coding examples of the two languages for basic hardware concepts such as: hierarchy, IO, numerical precision and timing. As the only company to support both SystemC and C++ for synthesis with the industry’s most successful HLS tool (Catapult), Calypto is uniquely placed to discuss the differences between the two languages.

(Recorded Live 12/13/2012)

December 2012VideoPowerPro *Minimizing RTL Power Through Sequential Analysis (RTL #1) - Webinar

A Webinar on the Latest Techniques for Power Optimization at RTL
Abstract:Analysing and optimizing power at RTL can significantly reduce power but is challenging especially when done manually. The widely used practice of inserting clock gating may not be very effectivewithout considering the sequential nature of the design and representative switching activity.

In this 50 minute webinar, Calypto will review the requirements for a comprehensive methodology to reduce power at the RTL level. The webinar will cover more advance topics such as how to analyze the RTL for wasted power and show optimization techniques to reduce power on real designs. The latest technique of sequential analyses will be described including stability based and the more difficult observability based sequential clock gating that provides maximum power optimization.

(recorded live 12/04/12)

VideoCatapult *Catapult Control Logic Demo Using C++

Catapult Control Logic Demo Using C++.

VideoCatapult *Catapult Overview Demo Using C++

Catapult Overview Demo Using C++.

VideoCatapult *SystemC Synthesis Demo

Watch a demonstration of Catapult using SystemC.

VideoCatapult *Catapult Synthesis Primer: Technology Overview

This short video gives an overview of Catapult, explaining what it is, what it does and how design teams benefit from using it.

VideoCatapult *Catapult Synthesis: A Return on Investment Case Study

In this case study, Thomas Bollaert investigates a company's Return on Investment (ROI) for Catapult high level synthesis tool, and how they achieved a positive ROI within the first 12 months of Catapult usage.

VideoCatapult *Best Practices of HLS

In this primer, Shawn McCloud discusses best practices of high-level synthesis, and how the right coding style results in higher quality RTL and improved design reuse.

VideoCatapult *HLS Primer

In this interview, Shawn McCloud discusses high-level synthesis and the three major trends driving adoption of this technology in design teams around the world.