沖ネットワークエルエスアイの デザインソリューション 2005 年 10 月 25 日 www.okinetlsi.com 1 1
ONW 概要概要 社名 : 株式会社沖ネットワークエルエスアイ ( 略称 ONW) 所在地 : 本社 / 東京開発センタ : 東京都品川区西五反田 2-15-7 シ フ ラルタ生命五反田ヒ ル九州開発センタ : 福岡県福岡市中央区天神 4-8-25 ニッコーヒ ル 設立 : 2002 年 10 月 11 日 資本金 :2 億円 株主 : 沖電気工業株式会社 100% 代表取締役社長 : 日野原邦夫 従業員数 : 約 100 名 出身母体 : 沖電気工業株式会社ネットワークシステムカンパニー E-mail: okinetlsi@oki.com URL:http://www.okinetlsi.com/jp SoC デザインソリューション 無線 LAN ソリューション LSI 設計技術プロセッサ技術ネットワーク技術 高機能検証ソリューション 2 2
核となる三つのデザインソリューション 最先端の設計 検証技術へ取り組み SoC 開発 設計へ展開 SoC ソリューション LSI モジュールの設計検証 機能検証に特化したソリューション システム仕様レベルからのソリューション 高品位機能検証ソリューション ESL ソリューション 設計 検証技術の強化 ESL:Electronic System Level 3 3
ESL ソリューションとは ますます必要性が高まるシステム段階での検証作業! LSI が出来上がってからでは遅すぎます!! このシステム構成で性能は達成できるか? システムバス方式 メモリシステムは各バスマスタの転送要求に対応できるのか? ソフトウェアを含めた性能見積りを高速に行う方法は無いのか? C/C++ SystemC を用いたシステムのモデリングと高速協調検証のソリューションを提供します 4 4
ESL ソリューション (1) 性能評価に関するコンサルティング (2)SystemCによるハードウェア モデリング (3) 性能評価 (AHBバスシステム ARM946コアベースSoC) (3) ランダム検証ツールを用いたバス トラフィック解析 ご要望に応じて検討させて頂きますので お気軽にお問い合わせ下さい 5 5
ESL ソリューションの事例紹介 半導体理工学研究センター殿の高速協調検証技術の実用化を推進! 以下 省略 2005 年 6 月 9 日に発表 6 6
高速協調検証技術とは 目的 : 高速協調検証環境の提供 用途 : ソフトウェア先行検証 アーキテクチャ性能評価 目標性能 : 従来技術比 シミュレーション速度 :1000: 1000 倍以上 シミュレーション精度 ( クロックサイクル精度に対する誤差 ) :10% 10% 以下 開発技術 :SystemC ベース高速協調シミュレーション技術 シミュレーション方式 :ISS: ISSレス方式 モデリング技術 : タスク : バジェット追加ツール RTOS:RTOS モデリング手法 + バジェット追加ツールハードウェア :PVTPVTモデリング手法 ISS:Intsruction Set Simulator PVT:Programmers View + Timing ( 出典 :Jon: Connel, ARM System-Level Modeling,Version 1.0,Jun2 25,2003) STARC 殿資料より転載 7 7
高速協調検証技術がもたらす効果 シミュレーション速度が 100 倍 ~1000~ 倍になることで 実現可能な設計 検証作業が拡大される!! 実機レスでのソフトウェア検証 アーキテクチャ探索が実現可能に シミュレーション性能 CPS 言語抽象度のレベル基盤精度 UML,SDL, MatLab, SystemC Algorithmic Level Programmer's View(PV) Programmer's View + Timing(PVT) Function Memory Map Timed Protocol Function-calls アルゴリズム開発 Functional Bus generic ソフトウェア検証 Architectual Bus architecture アーキテクチャ探索 Timing approx. 100M~ 1M~100M Cycle Callable(CC) Clock Edge Word transfers Cycle-acculate 協調検証 10K~1M Verilog, VHDL RT Level(RT) Implementation 抽象度レベルは Jon Connell, ARM System-Level Modeling,ARM White paper,june 2003 より Signal/Bit ハードウェア検証 Cycle-accurate ~1K Cycle Per Second 8 8
機能検証ソリューション 設計に占める機能検証の割合 1990 年台前半 レイアウト 仕様設計 ここ 10 年間で設計 TAT に占める検証時間の割合は 2 倍以上に! レイアウト 2000 年台 仕様設計 回路設計 機能検証 回路設計 機能検証 回路図ベース設計から RTL 設計への移行期 100KG~500KG 規模の設計規模 0.5μm~0.35μm の時代 IP ベース設計中心 ミリオンゲート時代 90nm プロセスへ 製品開発全体の TAT はむしろ短縮しており 製品の Time To Market には検証 TAT 短縮がキー 9 9
機能検証問題へどう立ち向かうのか? 機能検証を簡単に解決するツールは存在しない 仕様 ( 機能 ) と設計 ( 実装 ) との一致性は? 実装の確実さの確認 ( 動作の網羅性 ) は? 確認がとれていることをチェックしてますか? 急増する工数へ対処できてますか? 高品位機能検証ソリューションとは 急速に増大する機能検証の効率化に 弊社の経験をお客様にお役立て頂くサービスで 以下のことを特徴としております * 検証項目の明確化と着実な実行 * 先端検証技術 / ツールの導入による検証作業の効率化 10 10
検証項目を確かなものにするために 弊社側作業 検証項目の作成と社内レビューの実施 お客様の負荷を減らし かつ高品位の検証に努めております お客様とのコミュニケーション お客様との間でレビューを実施レビュー結果を反映 お客様の承認を基に検証作業を進めます 11 11
先端検証技術の活用 ランダム検証 コーナーケース バグ アサーション インタフェースプロトコル等チェック 機能カバレッジ 検証網羅率の測定 ご要望の検証目的に応じて 適切な手法の組合せをご提供検証 ( 全体 一部 ) 検証 IP プロトコルチェッカ等開発 各種ツール / 言語に対応 e 言語 /Openvera 言語 /SystemC PSL/SVA/OVL 12 12
各種セミナー / ユーザ会にて発表 SystemC&SystemVerilogデザイン ワークショップ2005 SystemVerilog 機能検証入門 ~ 機能検証の新概念の理解とテストベンチ開発の実際 ~ 2005 年 11 月 11 日 ( 金 )10:50-14:30 @ 青山テピア ( 主催 :CQ 出版 ) 第 4 回 IPTC 実践セミナー 成功する SoC のベリフィケーション - 転ばぬ先の機能検証 : 今注目のアサーション検証活用事例の解説 2005 年 3 月 15 日 ( 火 )10:00-17:00 @IPTC ( 主催 :IPTC 沖ネットワークエルエスアイ ) NIKKEI MICRODEVICES SoC セミナー アサーションで SoC 検証危機を克服する 2004 年 12 月 15 日 ( 水 ) 10:00-17:00 @ 東京コンファレンスセンター飯田橋 ( 主催 :NIKKEI MICRODEVICES) 受講申し込み受付中 SystemC デザイン ワークショップ /SystemVerilog デザイン ワークショップテクノロジ セミナースマート ベリフィケーションの理論と実践チェック自動化のためのテストベンチ構築術 ~ ハードウェア検証言語 アサーションを活用する!~ 2004 年 10 月 25 日 ( 月 )10:00~18:30 @ 東京ビッグサイト ( 主催 :CQ 出版 ) 13 13
機能検証の今後 専用検証言語から汎用言語 (SystemVerilog/SystemC( SystemVerilog/SystemC) ) への動き ダイナミック検証 ( シミュレーション ) に加え フォーマル検証が普及へ 検証用 IP の普及 2004 年 OVL e 言語 PSL VERA/OVA 2006 年 ~ 検証用 IP 2005 年検証用 IP SystemVerilog SVアサーション テストベンチ開発 SystemC SCV プロパティ検証 プロパティ検証用 IP プロパティ検証用 IP SystemVerilog/ SystemC セミフォーマル検証 プロパティ検証 機能検証を普及させる標準ガイドが重要!! 14 14
複雑 大規模化するシステム LSI 開発は単独では困難困難となり多彩なネットワーク系の中での開発が不可欠! EDA IP Fab Software を横断し システム LSI 開発ソリューションを提供 EDA LSI 開発商品企画コア技術 Fab Software IP IP コアソリューション デザインソリューション SoC ソリューション 15 15
まとめ SoC 高品位機能検証 ESL の三ソリューションを提供 先端設計 / 検証技術を核に 高効率かつ高品位 のデザインソリューションの提供に注力 豊富な実績を持つ沖ネットワークエルエスアイ沖ネットワークエルエスアイのデザインソリューションをご活用下さい!! 16 16