Vengineerの妄想(準備期間)

人生は短いけど、長いです。人生を楽しみましょう!

2012-01-01から1ヶ月間の記事一覧

Bluespecは、他のHLSと違う

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

今月(1月)の映画鑑賞

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

Free Bluesim

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

Bluespec User Group 2012のVennsaのセッション

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

Bluespec User Group Meeting 2012の日立の事例

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勉強…

MacOSで動く商用Verilog HDL Simulator

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

hdlsnippets

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

sc_elab_and_sim

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

Book : Advanced Verification Topics、5章

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

Book : Advanced Verification Topics、2章

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

Book : Advanced Verification Topics、1章

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

1666-2011

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

OneSpin 360 MV

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

Book : Advanced Verification Topics

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

OS-VVM

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

検証すべき項目を決めるには?

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

ModelSim AE 10.0c

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

semaphoreとmailbox

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

Bluespec User Group Meeting 2012

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 が簡単!に、(引…