｜ トップページ Webビジネス Eコマース Webファイナンス Webマーケティング パブリック Webテクノロジー 携帯・ワイヤレス Linux Today Linux Tutorial J.I.C.ブログ 転職ならen 派遣ならen アルバイトならen ＩＴ求人情報 今日のヘッドライン 週間ヘッドライン ロレックス フォトコミュニティ ストックフォト クリップアート イラスト フェリカ Web2.0 イベントカレンダー 書評「IT の耳」 出張・接待検索 ニュースガジェット 新規登録 変更・解除 オプトインメールの登録・変更・解除 パートナーサイト 転職ならエン 就職ならen 求人ならen 履歴書ならen アルバイトならエン CRM/SFAならオラクル グループ会社 株式会社アエリア (株)サンゼロミニッツ 株式会社エアネット お問い合わせ 広告掲載について リンクについて 著作権について その他お問い合わせ 利用規約 個人情報保護方針 会社概要（地図） Webテクノロジー 2006年7月11日 11:20 Webテクノロジー・バックナンバー 沖電気、Cadence の Incisive Formal Verifier を標準採用 著者: japan.internet.com編集部 プリンター用 記事を転送 ▼2006年7月11日 11:20 付の記事 □国内internet.com発の記事 ケイデンス・デザイン・システムズは、2006年7月11日、沖電気が、同社のフォーマル アサーション ベース（ABV）の検証作業向けに、Cadence の「Incisive Formal Verifier」を標準採用したことを発表した。 Incisive Formal Verifier は、機能検証全体にわたってアサーションを用いる Assertion-Based Verification フローにおける中核となるソリューションで、テストベンチシミュレーションを行う以前に設計ブロックを検証することができるため、機能上のバグをより早期に検出できる。 ブロック単体検証においては、Cadence のフォーマル解析メソドロジ上で Incisive Formal Verifier を用いることにより、設計期間を短縮できる。 また、Incisive Formal Verifier は、PSL（IEEE 1850）や SVA（IEEE 1800）などの標準言語および Accellera の Open Verification Library にも広く対応しているため、どの検証フローにでも導入が容易。 ブロックの結合検証においては、同じアサーションをフォーマル解析や、シミュレーション、そしてアクセラレーション エミュレーションにも再利用できるため、回路の統合とデバッグに要する期間が短縮され、検証フロー全体の効率が改善する。 関連記事 ACCESS、沖電気などが、次世代ホームネットワークに向け DLNA で協業 Cadence、フルチップ/ブロック設計対応の配線ソリューションを発表 沖電気、ZigBee にワンチップで対応する LSI を開発 沖電気と KDDI、企業向けモバイルソリューション事業展開で提携 Cadence、低消費電力設計の標準化を目指す業界団体を組織 関連テーマ IEEE users ★最新トップニュース 日本 HP、17インチワイド液晶搭載で8万円台など、法人向けノート PC 5機種を発表（Webテクノロジー 8月21日 18:10） 日本 HP は、2008年8月21日、法人向けノート PC のエントリーモデルとなる5機種を発表した。 3PAR、Oracle の Unbreakable Linux Program に参加（Webビジネス 8月21日 18:00） 3PAR と Oracle は Oracle Unbreakable Linux Program で提携し、共通の顧客に対して、ストレージインフラストラクチャからアプリケーション環境まで、管理業務の簡素化、サポートの統一化、コスト削減を図る。 鹿児島でのブロードバンド展開目指し支社設立、関西ブロードバンド（Webビジネス 8月21日 18:00） 関西ブロードバンドは2008年8月21日、鹿児島県内ブロードバンド環境未整備地域に対して ADSL や無線 LAN などによるブロードバンドインフラサービスの提供を開始すると発表した。 ワンセグ利用者、対応機種の普及で6割近くに――MMD 研究所調べ（Webマーケティング 8月21日 18:00） アップデイト内に設置されている MMD 研究所（モバイルマーケティングデータ研究所）は、「携帯コンテンツに関する利用動向調査」を実施、2008年8月21日、その調査結果レポートを発表した。 KCCS がリモートアクセスの認証・検疫「CREAN」発表（Webテクノロジー 8月21日 18:00） 京セラコミュニケーションシステム（KCCS）は2008年8月21日、企業イントラネットへのセキュアなリモートアクセスを実現するリモートアクセス端末認証・検疫サービス「CREAN」を9月1日から提供すると発表した。 オススメのＩＴ系求人情報【毎週月曜日更新】 デイリーリサーチ ／ DLサイト OnlineResearchPortal　(リサーチデータバンク) モバイルリサーチ with goo iPhone Youtube Google モバイルノート 半導体 ウィルコム テーマ一覧はこちら 第1回インターネットコムマーケティングセミナー「新規クライアントを効率的に獲得する Web マーケティング手法とは」(3月26日)多数のご参加ありがとうございました DevX CodeGuru developer.com ブログ一覧 【最新テクノロジーの意外な処方箋】 予測可能ソフトウェア開発（8月21日） 【データメーション】 中古家電買い取りサイトはどこがベストか？（8月21日） 【ベンチャー専門家の目利きブログ「なぜこの企業は伸びるのか?」】 「飲食サービス業でハッピーな世界を！！」／株式会社ケン・トゥエニ・ワン（8月20日） 【デスマーチからの脱却】 30min. iPhoneアプリリリース（8月18日） 【エンジニアの独り言】 技術進歩の落とし穴！？誰のためにシステムを作っていますか？（8月18日） 【Skypeブログ出張版】 パナソニックWiFiフォン購入でSkype1ヶ国プランプレゼント（8月13日） 週刊-サイト別アクセス状況データ ビデオリサーチインタラクティブ調査(月間インターネットオーディエンスデータ)（8月21日） 気になるオープンソースソフトウェア オープンソースのアプリケーションサーバー　Apache Geronimo　その3（8月21日） 「IT の耳」 【書評】『暗号解読』―ロゼッタストーンから量子暗号まで―（8月21日） 検索エンジンマーケティング EZweb ではキャリア非公式サイトがクリックされる3つの理由（8月21日） 百式のネットビジネス研究 あるテーマに沿ったリンクを集めて共有するのに便利そうな「Agglom」（8月21日） Eメールマーケティング事情 メルマガからメールマーケティングへ（8月20日） 日本と韓国のインターネットビジネス最新動向調査 日本と韓国のEコマースサイト比較3―EC サイト（8月20日） e-Japan 先端テクノロジー解説 在宅勤務のすすめ〜雇用型テレワークの現場から〜（8月20日） SNSをビジネスに活用しよう タグにまつわる「ゆらぎ」と「ムラ」の問題を考える（8月19日） DevX OpenOfficeでのXForms入門（8月19日） セキュリティチャネル テレコムチャネル サーチエンジンウォッチ 海外のインターネットコム　アメリカ｜韓国｜ドイツ｜トルコ 関連企業のサイト：ストックフォト イラスト ネットストリート ホテル予約サイト タウン情報 出張 事業継承 シミュレーション トランクルーム 優待映画チケット 田舎暮らしガイド オリジナルデザインTシャツ ニタコエ Copyright 2008 Jupitermedia Corporation All Rights Reserved.