Datasheets
* = User Information Required Before Download
| Title | Date | Type | Product | Highlight |
|---|---|---|---|---|
| PowerPro Product Family Datasheet | On-Going | Datasheet | PowerPro | |
| Catapult Product Family Datasheet | On-Going | Datasheet | Catapult | |
| SLEC Product Family Datasheet | On-Going | Datasheet | SLEC |
White Papers
* = User Information Required Before Download
| Title | Date | Type | Product | Highlight |
|---|---|---|---|---|
| *RTL Power Reduction & High Level Synthesis Report 2013 | May 2013 | White Paper | PowerPro | 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 AMD | January 2013 | White Paper | PowerPro | 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 Flow | November 2012 | White Paper | Catapult 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 MG | White Paper | PowerPro 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 2012 | April 2012 | White Paper | PowerPro 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 2011 | 2011 | White Paper | Catapult | 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 IPs | December 2010 | White Paper | Catapult | 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 Methodology | White Paper | Catapult | 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 Libraries | White Paper | Catapult | 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 CG | White Paper | PowerPro 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â„¢ CG | On-going | White Paper | PowerPro 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 Intervention | On-going | White Paper | PowerPro 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 RTL | White Paper | PowerPro 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 Flow | On-going | White Paper | SLEC 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 Changes | White Paper | SLEC 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 Testbenches | White Paper | SLEC 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 SOC | Case Study | PowerPro 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 Chips | Case Study | PowerPro 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 Optimizations | Case Study | PowerPro 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 Optimization | Case Study | PowerPro 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 Checking | Case Study | SLEC | 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 AIGs | February 2013 | Technical Paper | SLEC 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 Optimizations | March 2012 | Technical Paper | PowerPro 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 Datatypes | 10/01/12 | Data Type | Catapult SL |
Videos
* = User Information Required Before Download
| Screenshot | Date | Type | Product | Title & Highlight |
|---|---|---|---|---|
| May 2013 | Video | PowerPro |
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. |
| April 2013 | Video | PowerPro |
*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 2013 | Video | PowerPro 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 2012 | Video | Catapult |
*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 2012 | Video | PowerPro |
*Minimizing RTL Power Through Sequential Analysis (RTL #1) - Webinar A Webinar on the Latest Techniques for Power Optimization at RTL 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) |
| Video | Catapult |
*Catapult Control Logic Demo Using C++ Catapult Control Logic Demo Using C++. | |
| Video | Catapult |
*Catapult Overview Demo Using C++ Catapult Overview Demo Using C++. | |
| Video | Catapult |
*SystemC Synthesis Demo Watch a demonstration of Catapult using SystemC. | |
| Video | Catapult |
*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. | |
| Video | Catapult |
*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. | |
| Video | Catapult |
*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. | |
| Video | Catapult |
*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. |