• 
• 
• 
• 

  ホーム > ソリューションインデックス > 機能検証ソリューション（概要） > 機能検証ソリューションの実績　

ソリューションインデックス LSIデザインソリューション 機能検証ソリューション 概要 形式的（フォーマル）検証とは？ 機能検証ソリューションの実績 ESL(Electronic System Level)ソリューション IPコアソリューション 教育サービス

※以下は共に実績の一部です。 検証対象 作業期間 検証概要 IEEE1394単体検証 3ヶ月 アサーション検証、ダイレクト検証 USB2.0単体検証 4ヶ月 ランダム検証、機能カバレッジ、 アサーション検証、ダイレクト検証 USB2.0モジュール検証 3ヶ月 ランダム検証、機能カバレッジ、 ダイレクト検証 USB2.0　1チップ組み込み検証 2ヶ月 1チップ組み込み検証 顧客オリジナルバスブリッジ検証 3ヶ月 ランダム検証、機能カバレッジ、アサーション検証 AMBAバスブリッジ検証 2ヶ月 ランダム検証、アサーション検証 画像演算モジュール検証 1ヶ月 ランダム検証、機能カバレッジ 顧客CPUプラットフォーム検証 3ヶ月 アサーション検証、ダイレクト検証 画像処理モジュール（3ブロック） 3ヶ月 ランダム検証、機能カバレッジ、アサーション検証 オンチップバス検証 （バス単体、複製バス間、 バスの性能評価検証を含む） 10ヶ月 ランダム検証、機能カバレッジ、 アサーション検証 *期間は、性能評価の各種試行と その結果をもとにした仕様変更への対応も 含みます SystemVerilogユーザフォーラム2006 Verilogとの比較 〜 デザインに与えるインパクト 2006年1月27日　（主催：電子情報技術産業協会 ＥＤＡ技術専門委員会） Electronic Design and Solution Fair 2006　技術セミナー ・Road to the System Level Verification　〜高速協調検証技術の活用〜 ・ランダム検証と機能カバレッジの適用事例と成功のポイント 2006年1月26日〜27日　（主催：ＯＫＩネットワークＬＳＩ） SystemC＆SystemVerilogデザイン・ワークショップ2005 テクノロジ・セミナー SystemVerilog機能検証入門 　　　　〜機能検証の新概念の理解とテストベンチ開発の実際〜 2005年11月11日　（主催：CQ出版） Electronic Design and Solution Fair 2005　出展者セミナー 「アサーション検証手法の適用事例と成功のポイント 」 2005年1月28日(金) 13:30−14:10　　（主催：ＯＫＩネットワークＬＳＩ） NIKKEI MICRODEVICES SoCセミナー 「アサーションでSoC検証危機を克服する」 2004年12月15日(水) 10:00−17:00　　（主催：NIKKEI MICRODEVICES） SystemC デザイン・ワークショップ/SystemVerilogデザイン・ワークショップテクノロジ・セミナー スマート・ベリフィケーションの理論と実践　チェック自動化のためのテストベンチ構築術 〜ハードウェア検証言語、アサーションを活用する！〜 2004年10月25日（月）10:00〜18：30　（主催：CQ出版） IPTC実践セミナー 「成功するSoCのベリフィケーション」　 −転ばぬ先の機能検証：今注目のアサーション検証活用事例の解説 2004年9月14日（火）13:00−17:00 2005年3月15日（火）13:00−17:00 （主催：IPTC、ＯＫＩネットワークＬＳＩ） Verisityユーザーミーティング　 Club Verification Japan2004 Customer　Presentation｢検証用IP　USB　eVC活用事例」 2004年7月6日（火）　（主催：Verisity社） このページの先頭へ ▲

Copyright(C) 2002-2007 Oki Network LSI Co.,Ltd.