サービスの概要

• ・C/C++/SystemCによるシステムモデリング、システムレベル検証
• ・C/C++/SystemC記述の動作合成対応

得意分野

• ・MPEG2、MPEG4、H.264などの動画圧縮・伸張技術
• ・システムレベルモデリング及びシステムレベル検証
• ・動作合成対応。特にPCAレベル記述対応及び合成制約スクリプト作成、等価性チェックなど。

サービス範囲

開発実績

• ・H.264　デブロッキングフィルタのSystemCモデリング及び動作合成
• ・動作合成RTLと手書きRTLの性能、面積評価
• ・MPEG2　コーデックのC++モデリング
• ・H.264、MPEG4、MPEG2のVLC/VLDシステムレベル検証

使用実績ツール

サービスの概要

• ・要求仕様からのLSI仕様、モジュール機能・詳細仕様の作成
• ・RTL記述及びリントチェック実施
• ・要求仕様からの検証方針、検証仕様、検証項目表の作成
• ・テストベンチ、テストベクタの作成

得意分野

• ・ARMコア及びAMBAベースSoCのTOP設計
• ・C言語、アセンブラでのIP組込み検証
• ・第三者検証などの戦略立案を含めた論理検証フェーズ全般
• ・アサーションベース設計対応

サービス範囲

開発実績

• ・MFP、PPC等のSoCのTOP設計、IP組込み検証（ARM9,ARM11,SH2A,SH4A）
• ・WirelessUSB IP開発
• ・IrDA IPのIrSimple対応
• ・VideoBasebad用タイミング生成モジュール設計・検証

使用実績ツール

サービスの概要

• ・ユーザーRTL及びNETLIST受入れ確認作業
• ・論理合成制約作成、結果解析
• ・DRC実行、結果解析
• ・等価検証制約作成、結果解析
• ・SDC、端子配置、指示書などのレイアウト用データ作成
• ・STA制約作成、結果解析

得意分野

• ・90nm以降の微細プロセス
• ・クロストーク解析、PLLジッタを考慮したタイミング解析（STA)

サービス範囲

開発実績

• ・カメラ用DSP

使用実績ツール

サービスの概要

• ・SystemVerilog、C/C++/SystemCなどの多言語化対応
• ・SystemC記述のTLM2.0対応
• ・アサーションベース設計対応（SVAの埋め込み）
• ・Verilog-HDL、VHDLなどの言語からのドキュメント化対応
• ・コードクリーニング
• ・コードカバレッジ対応（冗長記述の削除、信号幅・設定値のパラメータ化）
• ・テスト回路、低消費電力化対応（クロック、リセットライン整備）

サービス範囲

サービスの概要

• ・要求機能の検討及び論理設計・検証
• ・ターゲットデバイスへのインプリメンテーション、フィッティング
• ・FPGAデバイスへのコンフィグレーション

得意分野

• ・画像系システム全般

サービス範囲

開発実績

• ・CCDカメラのレンズ制御
• ・画像処理用DSP

使用実績ツール