出展物紹介カリプト社は、RTLでの低消費電力ソリューションとシステムレベルからのシーケンシャル等価性検証の二つの製品群を出展いたします。CGは、入力されたRTLに対しシーケンシャル・クロック・ゲーティングを用いて低消費電力向けに最適化し、そのRTLを出力します。この最適化されたRTLは、既存の低電力向け論理合成ツールを用いてインプリメンテーションに適応することが可能です。MGは、PowerProファミリの新製品であり、メモリ・ゲーティング技術を用いてSOCの組み込みメモリの動的な消費電力と静的な消費電力の両方を削減します。MGもCG同様に、RTLを読み込み最適化されたRTLを出力し、既存の低電力論理合成にリンクします。Analyzerは、RTLでの消費電力の見積もり、解析、さらには低電力化に向けた最適化作業のヒントを提示します。Systemは、システムレベルからRTLまでの広範囲でお使いいただける形式的等価性検証ツールです。C、C++、SystemCをサポートしており、アルゴリズム・レベルからの様々なリファインメント、再利用、RTL実装でご利用いただけます。Cのハイレベル合成前後での等価性を証明します。C対CやC対SystemCの検証に利用すれば、HLS向けに最適化したコードを作成する際の機能的な誤りを用意に発見することができ、HLS設計フローの生産性を一段と向上させます。RTLは、RTLにおけるリタイミング、シーケンシャル・クロック・ゲーティングなどを行った際の等価性を証明します。CGの紹介をおこないます。これは、メモリ・ゲーティング技術を用いてSOCの組み込みメモリの動的な消費電力と静的な消費電力の両方を削減する製品です。CGを用いた応用フローを紹介します。アルゴリズム・レベルから高位合成を経てRTLを生成させる場合、如何にすれば効率よくRTLの回路品質を上げてゆくことができるのか。高位設計時のイタレーションはどこで起こるのか。このような高位合成フローで低消費電力化を実現する方法はあるのか。このような問いに対し、カリプト社の製品群を最大限に活用されている海外のお客様の手法を参考に、SLECとPowerProを用いた実現可能なフローとしてカリプト社の考えを示します。CGの紹介をおこないます。これは、メモリ・ゲーティング技術を用いてSOCの組み込みメモリの動的な消費電力と静的な消費電力の両方を削減する製品です。CGを用いた応用フローを紹介します。