Vengineerの妄想(準備期間)

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

検証全般

FPGA分割ツール

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった CDNLive 2013でRPPの事例発表を聴いて、 複数のFPGAに分割するのって大変だけど、どこのツールを使っているのでしょうか? SynopsysがHAPSを買収した時…

7月の金曜日は、3週連続セミナー

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 7/5(金)、Mentor、Mentor Forum 2013(Functional Verification)@メンター東京本社会議室(品川御殿山) 7/12(金)、Synopsys、Synopsys Users Meeting 2013…

DAC前夜恒例のGary Smithさんの講演の内容に。。。

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今から約二年半前(2011年2月)のブログ、 RTL設計者は、直ちに、ESLにシフトせよ、そして、S/Wを身につけよ! が現実に。 DAC前夜恒例のGary Smithさんの…

今週は、DAC

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今週は、DACです。場所は、AUSTIN。 シリコンバレーだけでなく、オースチンも半導体エンジニアが多いです。 IBM、AMD、Alteraなどなど。 @EDAExpressさ…

NVIDIAでは、RocketSimを使っている

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DeepChipのこの記事では、NVIDIAでのRocketSimの利用について書かれています。 ちなみに、NVIDIAはRocketicksに投資しています。 ゲート・レベル・シミ…

MyHDL

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 以前から知っていたPythonベースのMyHDL。 なんか、Twitterのアカウントが出来ています。 最新版は、MyHDL 0.7で2010年12月にリリース。ちょっと古いで…

DVConの過去の資料

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今年のDVConは先週でしたが、過去の資料はこちらからアクセスできます。 週末の時間を使って、勉強しましょう! 検証、Verification

iHDL

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった とあるツイッターからiHDLというキーワードを知りました。 どうやら、Intelの内部HDL(internal HDL)のこと。 Google君に聞いてみたら、 出てきました論…

DVCon 2013

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DVCon 2013が2月25日(月)-28日(木)に、San Joseで開催されます。 検証関連は今やDACよりも充実しているDVCon。 Technical Programも連日開催され、チュ…

プロトタイプボードがまた登場

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DeepChipのSubject: News & Rumors on Tela, HTC, SEC, Atrenta, Magma, Dini, Sonics, MENTにもあった フランスのReflex CESという会社。 EDA Express…

Javaでハードウェアを実装する

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 日経のTech-On!のASP-DAC 2013 MPU、GPU、FPGAをまとめてプログラムできる環境、IBM研究所がJava拡張言語ベースに開発中がちょっと前TwitterのTLで話題…

テスト用言語に、C言語を。

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Reuse & Designの記事、An Example Verification Environment for Different Types of Processor Modelsは、テスト用言語にC言語を利用したケースに関す…

MLWG

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Accellera Systems Initiative MLWG - User Requirementsというのを見つけました。 Accellera Ystem Initiativeからなのですが、EDAベンダ…

システムの検証はどうやって行えばいいのか?

[Verication Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Design Reuse without Verification Reuse Is Uselessでは Breker Verification SystemsのCEO 、Adnan Hamidさんがシナリオベースの検証に…

ET 2012 & EDSFair 2012に行ってみて

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 金曜日に行ってきました。ET2012 & EDSFair 2012に。 EDSFairを先に書かないのは、どうみても、規模が違いすぎるから。 MentorなんかEDAで…

リコーの事例発表 : 清水ファミリー

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Verify2012のリコーの事例発表の件が、EDA ExpressとEDAOnlineに掲載されました。 EDA Expresa : Verify2012 社内で実用している実機レス…

「個人で越境」しましょう

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 昨日は、Verify2012で基調講演をされた竹内先生と懇親会でお話しました。 EDA Expressの記事 : Verify2012基調講演 分野を越境することが…

今日は、Verify2012 ですね。

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今日は、Verify2012ですね。 いつものように、休暇をとって参加します。 それでは、会場で。。。 Tweetしていいようなので、中継しますよ。…

JLGrayさんとの対談。。

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Verilabのブログに、JL Grayさんとの対談がアップされています。 といっても、JL Grayさんは、Verilabのメンバーです。 JL Grayさんのブロ…

Verifyterという会社

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Brian BaileyがEETimesのブログにStartup spotlight: Verifyterというエントリーをアップしています。 Verifyterは、PinDoneというバグレ…

Verify2012の申し込み開始。

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった @EDAExpress さんからのアナウンスで、Verify2012は9/28(金)で、申し込み開始しました。 基調講演として、中央大学に竹内先生に講演があり…

Verify2012の申し込みは、来週月曜日(8/20)に!

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった @EDAExpress さんからのアナウンスで、Verify2012は9/28(金)で、申し込み開始は8/20(月)です。 サイトは、まだVerify2011の情報ですは、ち…

EDA買収の歴史

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった EDA買収の歴史を見ると、 Cadence、Mentor、Synopsysは非常に多くの買収をしているのがわかりますね。 Jeda Technologiesが載っていないの…

AtrentaがNextOpを買収

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Atrenta acquires NextOp こちらになったのね。 Atrentaであれば、日本法人もあるのでいいのね。 Atrentaのプレスリリース EEtimes Brian …

Gary Smithさんのプレゼンテーション

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今週から始まったDAC。例年、開催前夜に行われるGary Smithさんのプレゼンテーション。 ちなみに、プレゼンテーション資料は$500です。 今…

RocketSimは、何を速くするの?

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった RocketSimが気になっています。 やっとプレスリリースがでました。 RocketSim Speeds Development Of Nvidia Kepler and Tergra Processor…

John CooleyのDAC2012見ておけリスト

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今週からDACです。Twitterでは日曜日発の人が何人かいました。 DACには行ったことがないのですが、 John CooleyのDAC2012見ておけリストを…

セミナーシーズン

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 6月の初旬(3日~7日)に行われるDACが終わると、国内でもEDAセミナーがたくさん開催されます。 今わかっているところでは、下記の通りです…

Jasperのセミナーが開催されます

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 6月27日(金)にいつもの新横浜のホテルで、 Jasper Real-World Applications of Formal Verification Seminarが開催されます。 代理店がシ…

CSVプリプロセッサ言語システム

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった CSVプリプロセッサ言語システムなるものを見つけました。 Excelで書いた内容から色々なプログラミング言語などに変換してくれるもので…