Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今年の元旦(2011年１月１日)のブログHLSとFPGAでは、 今年(2011年)はFPGAが盛り上がる!。 と書きました。 で、結果は？ やっぱ、2011年は…

映画好きの戯言 今月は、多い！ 10本。 エルム街の悪夢/A NIGHTMARE ON ELM STREET(2010)(BD) ナルニア国物語／第３章：アスラン王と魔法の島/THE CHRONICLES OF NARNIA: THE VOYAGE OF THE DAWN TREADER(2010)(BD) ブレードランナー/BLADE RUNNER(1982)(超…

映画好きの戯言 ミッション：インポッシブル／ゴースト・プロトコル/MISSION: IMPOSSIBLE - GHOST PROTOCOL(2011)を 見てきました。 一言、凄いです。アクションが。。。 次の３点が見所です。 ・何かから落下する。今回はかなりの回数、落下しています。 ・…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemVerilogでは、文字列を扱うstringというタイプも導入されました。 string name = "Verification Evangelist"; のように文字列の変数…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Verilog HDLでは、以下のタイプはすべて４値( 1, 0, H, Z )です。 reg : ユーザ定義のベクタサイズ integer : 32bit signed integer time …

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemVerilogでは、32bitのsigned integerのintegerの他に、次の整数が導入されました。 byte : 8bit signed integer shortint : 16bit s…

映画好きの戯言 グリーン・ゾーン/GREEN ZONE(2010) サベイランス/SURVEILLANCE(2008) アイアンマン２/IRON MAN 2(2010) ソルト/SALT(2010) インセプション/INCEPTION(2010) クレイジー・ハート/CRAZY HEART(2009) プレシャス/PRECIOUS: BASED ON THE OVEL P…

映画好きの戯言 たった、2回です。 ソーシャル・ネットワーク/THE SOCIAL NETWORK(2010) 猿の惑星：創世記（ジェネシス）/RISE OF THE PLANET OF THE APES(2011) 12／30(金)に会員資格更新して1000円(会員更新料＋500円)で見ました。3本目。 ミッション：イ…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemVerilogには、processクラスというものがあります。 AldecのSystemVerilogリファレンスのClass processからの引用 class process; t…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Verilog HDLでは、fork/joinという並列プロセスを起動するための機能がサポートされています。 SystemVerilogでは加えて、fork/join_anyと…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった マルチコアがあたり前になってしまったPC。 なのにHDLシミュレータはあまりマルチコア対応していません (VCSはマルチコア対応になっていま…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Aldecのシミュレータ(Active HDL/Riviera-PRO)の内部コマンド(シミュレータ起動後のコマンド)は、 ModelSim/Questaと互換になっているもの…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Riviera-PRO 2011.11のドキュメントには、SystemVerilog/Verilog HDLリファレンスがあります。 (VHDLリフェレンスもありますが、私はVHDL…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった VMMとUVMを一緒に使う。どうすればいいのでしょうか？ 確か、UVMが出る前はVMMとOVMを一緒に使うためのKitがありました。 そして、VMMとUV…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 昨日発売の富士通 Arrows ISW11Fは、熱くなってフリーズするという不具合が発生しています。 しかも、パッケージ内に注意書きの紙が最初か…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった をありえないない話ではないが、Verilog HDLにおいて ・論理 AND : && ・ビット AND : & を間違えると、どうなるか？ これについて、 Sled…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Download UVMに、UVM 1.1aがアップされています。 UVM Worldではなく、Accelleraのサイトにあります。 検証、Verification、UVM

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 元Mentorの高位合成ツール「Catapult」、Calyptoによる買収でこう変わるによると、 米Gray Smith EDA社の2010年のHLSのシェアは、(ちなみ…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった その他にRiviera-PRO 2011.10でサポートしているものは、 ・コードカバレッジ ・デザインプロファイラ (あると便利ですが、あまり使われて…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった インストール後、vlibディレクトリをチェックしたら、 ・ovl ・ovm-2.0.3 ・ovm-2.1.2 ・uvm-1.0p1 ・uvm-1.1 ・vtl がありました。残念な…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Riviera-PRO 2011.10でサポートしているのは、 ・Verilog HDL (PLI/VPI) ・VHDL (VHPI) ・SystemVerilog ・SystemC ・OVA(OpenVera Assert…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった AldecのRiviera-PROの最新版である2011.10をインストールしてみた。 ダウンロードは、こちらから。 ModelSimはWindows 32ビット版を64ビッ…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Chip Designに Beyond Confluence: Virtual Devices Expand the Emulation Landscapeという記事がアップされています。 内容はMentorのシ…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった AgileSocには、SystemVerilogによるTDD(Test Driven Development)をやるという内容のブログです。 SVUnit frameworkというものを使うよう…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった メンターのブログにて、 DaveさんがGetting started with the UVM – Using the Register Modelingをアップしています。 レジスタモデルで…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった メンターのDaveさんのブログ：Overridden with Overridesでは、 SystemVerilogに関して、ちょこっと書いてあります。 parameter, localpar…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 2011年12月3日(土曜日)のTwitterによる「SystemVerilogの機能紹介」をtogetterしました。 ご利用ください。 検証、Verification、SystemVe…

映画好きの戯言 4本しか、見られなかった。 博士の異常な愛情/DR. STRANGELOVE: OR HOW I LEARNED TO STOP WORRYING AND LOVE THE BOMB(1964)(BD) ウルヴァリン：Ｘ-ＭＥＮ ＺＥＲＯ/X-MEN ORIGINS: WOLVERINE(2009)(DVD) パラノーマル・アクティビティ２/PA…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった ケイデンスのブログ：Archived Webinar: Bringing SystemC and C/C++ Models into UVMでは、UVMをeとSystemCに拡張したUVM-MLについて紹介…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DVCClub Austinのアーカイブを見てみたら、Verification Metrics Double Headerがあったのでチェック。 Oracleの人なのでSun関係と思った…