FC2ブログ

[検証] Verification HORIZONS October 2013 | Volume 9, Issue 3

Mentorの季刊誌 Verification HORIZONS


今回の内容はこちら。

  • It's Surprising What the Boy Scouts Can Teach Us about Verification
  • Software-Driven Testing of AXI Bus in a Dual Core ARM System
  • Caching in on Analysis
  • DDR SDRAM Bus Monitoring using Mentor Verification IP
  • Simulation + Emulation = Verification Success
  • Life Isn't Fair, So Use Formal
  • AMS Verification for High Reliability and Safety Critical Applications
  • Assertions Instead of FSMs/logic for Scoreboarding and Verification

[検証] VCS+MATLAB/Simulink

Sysnopsysのブログにて、


Optimized Synopsys-Mathworks solution for System-Level Verification


MathWorksとの取り組みとか書いてあります。
SystemVerilog DPI-Cでの通信を使うと。
VCS依存にはならないと思いますが、何かしらあるんでしょうね。

[検証][HLS] Catapultの新機能?

SemiWikiにて


Verifying Hardware at the C-level


ちょっと気になる文章が。

Catapult will then embed all these assertions into the RTL, automatically instantiating them as Verilog assertions that do the at the RTL level as the originals did at the C-level. It also takes C cover points and synthesizes them into Verilog so that when you run Verilog you also get functional coverage.


おっと。Catapultの新機能ですヵ?

[検証][VIP] 作るか買うか

SemiWiki.comに面白いのがあったので、


Verification IP : Build vs Buy?


VIPってベンダー依存になってしまうのかな?
検証環境としては、依存しない方向で作りたいな。。。

[検証][セミナー] CDNLive Japan 2013のプレスリリース(日立、富士通)

本日 CDNLive Japan 2013ですね。


それに先立ってか、日立、富士通さんの事例がプレスリリースされています。

私もセミナー参加したかったのですが、あいにく都合がつかず不参加です。
参加した方感想いただけるとありがたいです。


リコーさんのプレスも出てますが、セミナーのタイトルとは異なりそう。
かな!?

プロフィール

Kocha

Author:Kocha
なんでもチャレンジ!(^o^)/
E-mail
github:Kocha
イベントカレンダー

カレンダー
06 | 2020/07 | 08
- - - 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 -
カテゴリ
OVP (4)
最新記事
最新コメント
アーカイブ
リンク
Twitter
アクセス人数