Vengineerの戯言

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

e

誰でも、Specmanが使えるぞ!

@Vengineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった EDA Playgroundで、AldecのRiviera-PROが利用できますが、 Specmanも利用できるようです。YouTubeにビデオがアップされています。 EDA Playgroundの左の…

eのC言語インターフェイスも進化している。

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった SystemVerilogには、DPIでC言語とのインターフェイスがありますが、 eにもC言語とのインターフェイスがあります。 そして、そのインターフ…

e, e, e

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった DeepChipのSubject: Cadence says it's strong in Specman "e" yet language neutralでは、 e, e, e, e, eと本当に、e だらけ。 数年前か…

Specmanがクラッシュしたら

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Analyzing Error Reports When Specman Crashesでは、 Specmanがクラッシュしたときのエラーレポートが何を言っているのかを説明してくれ…

eユーザがSystemVerilogを学ぶわけ?

Verification Evangelistの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった Subject: Cliff speaks for System Verilog; Shalom and others for Specman "e"では、 Cliff Cummingさんからの内容があります。 内容に…

e は、死なず

Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 今から e 使いになりたいですか?では、これから使うなら絶対にSystemVerilogを紹介しました。 だが、昨日、@marsee さんがOVM-e による検証…

今から e 使いになりたいですか?

Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった ケイデンスのブログ:User View: Where e Outshines SystemVerilog For Functional Verificationでは、 e について、経験豊かなエンジニアが…

eを選んだ理由

Verification Engineerの戯言 : Twitter、Twitter新聞:Daily Vengineer's SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった My Reason For Choosing e – a Much More Advanced Verification Language. What’s Your Reason?では、 著…

Specmanの事例、2つ

Verification Engineerの戯言 : Twitter SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった 久しぶりに、Specman/eの事例です。 Users Employ Specman Constrained-Random Verification for Complex IPから2つ。 User Interview: Veri…

SystemVerilog == e * 3

Verification Engineerの戯言 SystemVerilog > eの続きです。 When Less Is More, Part 2: Is e Code Really Up to 3x More Compact Than SystemVerilog?では、SystemVerilogよりeの方が3倍コンパクトになるあります。 その理由は、 extend packet_s { .....…

SystemVerilog > e

Verification Engineerの戯言 When Less Is More, Part 1: Is e Really Up to 3x More Compact Than SystemVerilog?を読むと、eのコード量はSystemVerilogより圧倒的に少ない。 でも、どうもeになじめないが、仕事で使うことになれば、それなりにやることに…

e : Specman-Matlab package

Verification Engineerの戯言 Specman-Matlab packageが公開されています。 ドキュメントを見てみたら、Specman C interface と C API for Matlabで実装しているようです。 検証、Verification、e、SpecmanElite

Specman/eの情報満載

Verification Engineerの戯言 Specman/eに関するブログを含む情報、Another New Blog on e/Specman YahooのSpecman Groupは、メンバ登録が必要ですが、2001年から続いています。 検証、Verification、Specman/e

がんばっています e

Verification Engineerの戯言 ケイデンスのFunctional Verificationのブログに頻繁にeに関する記事がアップされます。 OVM eが公開され、ますます、活発になることでしょう! 最近の記事 OVM e Open Source - It's Official! Tech Tip - Double Wall Clock P…

IP-XACT XML to vr_ad file

Verification Engineerの戯言 ケイデンスのコミュニティ・サイトに、 New AEware: Generate vr_ad Definitions for IP-XACT XML IP Blocksがアップされました。 この記事の最後に、IP-XACT XMLファイルをvr_adファイルに変換するツールipxact2vradが添付され…

ケイデンス、Team Specmanを立ち上げる!

Verification Engineerの戯言 Specman Verificationによると、ケイデンスがブログ:Team Specmanを始めました。 End-users of e, Specman, Incisive Enterprise Simulator (IES), eRM/OVM e, and loyal Specmaniacs in general: have we got the blog for yo…

VCS-e、再び

Verification Engineerの戯言 2007年11月8日のブログe-Support in Synopsys' VCS ?でも書いたが、VCSでeがNativeに動く、がでてきた。 今回は、Think VerificationのHey Mom, it feels like Specman !. 元ネタは、ケイデンスのブログe Running Inside VCS An…

C interface with e environment

Verification Engineerの戯言 Verification GuildのC interface with e environmentによるとeにもC言語のインターフェースがあるようにです。 いままで知りませんでした。 検証、Verification、e

“The e Hardware Verification Language”の日本語訳ブック

Verification Engineerの戯言 日本ケイデンスのDA SHOW/CDNLive! Japan 2008のFunctional Verification トラックで The e Hardware Verification Languageの日本語訳ブックをいただきました。NOT FOR SALEです。 OVMのシーケンスは、実はeからの機能です。 O…

SCDSourceのe(P1647-2008)の記事

Verification Engineerの戯言 SCDSourceにeの標準化に関する記事IEEE 'e' language update shows continuing momentumがアップされました。 IEEE 1647のサイトでは、 * On May 9 the IEEE-SA Standards Board approved P1647-2008 as a revision standard to…

Specman VerificationのBloggerがVerilabからMentorへ

Verification Engineerの戯言 Specman Verificationによると、SV tutorial and personal newsということで、SystemVerilog Turtorialを公開しました。 また、このBloggerはVerilab(Munich)からMentorに移ったようですが、当面はこのBlogは継続するようです。

Incisive?? Enterprise verification family

Verification Engineerの戯言 CadenceがIncisive?? Enterprise verificationでe(SpecmanElite)関連を強化しました。 http://www.cadence.com/company/newsroom/features/feature.aspx?xml=enterprise_verification 今回の強化で次の3点がUpdateされたようで…

IBM、CELLをe言語(SpecmanElite)で検証

Verification Engineerの戯言 CDNLive! EMEA 2007 conference proceedings http://www.cdnusers.org/CDNLive/EMEA2007ConferenceProceedings/tabid/409/Default.aspx のプレゼンテーション資料が公開されました。 検証関連は、こちら http://www.cdnusers.or…

BookReview:Aspect-Oriented Programming with the e Verification Language

Verification Engineerの戯言 http://www.coolverification.com/ によると、 EDNに「Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers (Systems on Silicon) 」のレビューがあります。 http://ww…

e-Support in Synopsys' VCS ?

Verification Engineerの戯言 Verification Guildのフォーラムで「 e-Support in Synopsys' VCS ? 」のスレッドが盛り上げっています? http://verificationguild.com/modules.php?name=Forums&file=viewtopic&t=2167 VCSがeをnativeサポート(PLI接続ではな…

Simplifying Vertical Reuse with Specman Elite

Verification Engineerの戯言 e関連が続きますが、 The Cadence Design Network User Group Community (http://www.cdnusers.org/Home/tabid/348/Default.aspx) にSpecman(e)関連の論文がアップされました。 http://www.cdnusers.org/Articles/Download/tabi…

IEEE1647-2008のDraft3版、公開中

Verification Engineerの戯言 Specman Verification(http://www.specman-verification.com/)によると、 eの標準化IEEE1647-2008のDraft3が公開中です。 http://ieee1647.org/downloads/P1647_Draft_3_071008.pdf eの標準化がされているのは知っていましたが…

Specman Verification

Verification Engineerの戯言 今日は、eとSystemVerilogの例が記載されているサイトです。 http://www.specman-verification.com/ URLに、specman-verification があるところから、基本的には、e(specman)に関するサイトですが、 最近はSystemVerilogコード…