Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Bluespec continues to attract venture moneyによると、4つの投資から1.5Mドル調達したそうな。 合計で18.25Mドル。 (某システムの55億円…

映画好きの戯言 ガリバー旅行記/GULLIVER'S TRAVELS(2010)(BD) デビル/THE DEVIL'S OWN(1997)(GyaO) 赤ずきん/RED RIDING HOOD(2011)(BD) ミー・ウィズアウト・ユー/ME WITHOUT YOU(GyaO) ハッピーフライト(2008)(テレビ) ブラック・スワン/BLACK SWAN(2010)…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Bluespec User Meeting 2012の最後に嬉しいお知らせ。日本限定でBluesimの無償板(Free Bluesim)がリリースされます。 リリース開始：2012…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった RTL Simのデバック効率を高めてくれるVennsaのOnPoint。どうやら、Bluespecに対応した模様。 BSVとBluespecが生成したRTLとマッピングをす…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 2012年1月27日(金)、今日行われたBluespec User Group Meeting 2012での日立の事例です。 評価を始めてから1年半で導入、その後、高位レベ…

Verification Evangelistの戯言 : TwitterSystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 周りのお仕事と繋がるお仕事によって、お仕事の生産性が向上します。その結果、お仕事がうまくいけばいいのですが、そんなにうまくいくと限…

Verification Evangelistの戯言 : TwitterSystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 周りのお仕事では、中心のお仕事の回りをやることで、今まで見えていなかったことが見えてくる。このことで今まで以上に中心のお仕事がうま…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった ある特定のお仕事をずーとしていると、ある時期、お仕事が停滞する場合が多々あります。 私もそんな時期がありました。 なんでだろうかな…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった TwitterのTL(TimeLine)を見ていると、FPGAを利用した電子工作をやっている人が多いです。 そんな中で、1月14日に第0回 関西FPGA・DE0勉強…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった TwitterのTLで知ったので、でも、昔から知っていたVerilog HDL Simulator でした。 日経EDAOnlineの記事：80万円のVerilog-HDLシミュレー…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった ちょっと前に、semaphoreとmailboxについて書きましたが、 System Verilog Mailbox with try_getのがありました。 mailbox #(byte) mb; の…

sc_elab_and_sim Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった IEEE 1666-2011 Manualが公開されました。 ざーとチャックしてみて気になったのが、 sc_elab_and_sim というもの。 Page.…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Advanced Verification Topicsの5章、 Developing Acceleratable Universal Verification Components (UVCs)を読みました。 内容的には、C…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Advanced Verification Topicsの2章、UVM and Metric-Driven Verification for Mixed-Signalを読みましたというより、ざーと見ました。 関…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Advanced Verification Topicsの1章、Introduction to Metric-Driven Verificationを読みました。 数年前は、Constrained Random Verifica…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemC(IEEE 1666)の規格書がアップデートされ、1666-2011になりました。 SystemCの規格書は他の規格書とは違って、PDF版は無料でダウン…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった EETimesの記事：How formal MDV can eliminate IP integration uncertaintyは、OneSpinsのソリューションに関するものです。 具体的には、…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった ケイデンスの：Advanced Verification Topics を入手しました。 まだ、Amazon では買えませんが、Luluでは$60で買えます。 内容は、 Prefa…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった AldecとSynthWorksは、 VHDL用にランダム生成とカバレッジ機能を提供するパッケージである OS-VVM(Open Source - VHDL Verification Metho…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 検証関連の本には、ツールや手法論についてはいろいろ載っています。 でも、これって何を検証するのかが決まった後の話。 では、何を検証…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 私のチェック不足でした。 ModelSim-Altere Edition 10.0cは、2011/11にリリースされていましたので、修正しました。 Quartus II v11.1 サ…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemVerilogでは、何故か？、semaphore と mailbox がクラスとして実装されています。 この2つのクラスは、stdパッケージに含まれていま…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 1月27日(金)に秋葉原の富士ソフト アキバプラザにて、Bluespec User Group Meeting 2012が開催されます。 今回は前回評価事例を発表した日…

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Google君に「SystemVerilog」について聞くと2番目に出てくるアルティマの SystemVerilogの魅力 2(活用編)のC言語との I/F が簡単！に、(引…