15人の検証チームって、

雑談 Verification

どんななんでしょうね。最近のSOC開発なら普通の人員と思います。ですが検証規模は人員の能力によりますよね。検証エキスパートの集まりばかりなら、新規開発チップとしても結構な規模ですよね。工数的には期間にもよりますね。決して20万人月ではないと…

2015-11-09

■

EDA systemverilog UVM

はじめに諸事情によりUVMのコードを載せてみます。今回は最小限のHelloWorldテストなので、何の約にもたたないと思います。なお、ソースコードはGitHubにあります。このブログで扱うソースコードはできるだけGitHubにあげていきます。ライセンスなどご確…

2015-11-01

CodingBat 振ってみた...

python

はじめに Pythonの基礎文法を使いたくてCodingBatを振ってみた。Pythonをやる理由は...なんとなく。サイトはこちら CodingBat Python ... Python版のトップです。他にJava版がある模様。お役にたてば概要 ** 設問にの答えを関数（def:）として記述すると…

2015-08-04

SVA - アサーションFireさせてみた。

EDA SVA systemverilog

はじめに今回はsimple-req-ackのアサーションに対して、これまでと異なるテストベクタをくべてその振る舞いの違いを見てみます。なお、ソースコードはGitHubにあります。このブログで扱うソースコードはできるだけGitHubにあげていきます。ライセンスなど…

2015-08-03

SVA - アサーション実行してみる？

EDA SVA systemverilog

はじめに前回のアサーション記事はプロパティの中身の話でした。今日はアサーションの実行まわりの話を書きます。なお、ソースコードはGitHubにあります。このブログで扱うソースコードはできるだけGitHubにあげていきます。ライセンスなどご確認頂いた上…

2015-07-30

SVA - アサーション、なにそれおいしいの？

EDA systemverilog SVA

はじめにアクセス解析によると本ブログで1つしかないSVAの記事を引っ掛けてくれる方が多いようです。というわけで今日はアサーションネタいってみます。こんにちはアサーションアサーションって導入できたチームとできないチームが極端に分かれそうな検証…

2015-07-27

UVM Cookbook 眺めてみた - Assigning Virtual Interfaces From The Configuration Space

EDA systemverilog UVM UVM Cookbook

はじめに UVM Cookbookを眺めてみた、の続きです。今日はTestbenchのAssigning Virtual Interfaces From The Configuration Spaceです。 Assigning Virtual Interfaces From The Configuration Space UVMのrun_test()が呼ばれる前にトップ階層の信号とDUTの…

2015-07-24

UVM Cookbook 眺めてみた - The Test Is The Starting Point For The Build Process

EDA systemverilog UVM UVM Cookbook

はじめに UVM Cookbookを眺めてみた、の続きです。今日はTestbenchのThe Test Is The Starting Point For The Build Processです。 The Test Is The Starting Point For The Build Process UVMテストベンチのbuildプロセスはテストのクラスからトップダウン…

2015-07-23

はてなMarkdown記法でverilogがSyntax Hilightingされるようですね。

EDA systemverilog 雑談

タイトルのとおりですが、 ``` で囲いつつ、最初の```の後にverilogをつければOKのようです。 ```verilog （verilogコードをここに書きます） ``` systemverilogには対応していないので、SVコードもひとまずverilogと指定すればよいですね。てきとうなSVコ…

2015-07-21

UVM Cookbook 眺めてみた - TestBench/Build

EDA systemverilog UVM UVM Cookbook

はじめに UVM Cookbookを眺めてみた、の続きです。今日はTestbenchのTestBench/Buildです。 TestBench/Build UVMテストベンチの最初のフェーズはbuildだよ。テストベンチを構成するuvm_componentはbuildフェーズでオブジェクトになるよ。 buildフェーズは階…

2015-07-18

UVM Cookbook 眺めてみた - The Env

EDA systemverilog UVM UVM Cookbook

はじめに UVM Cookbookを眺めてみた、の続きです。今日はTestbenchのEnvの話です。 The Env Env(Environment)は、サブコンポーネントのブロックを集めたコンテナコンポーネントだよ。 Block Level Env ブロックレベルのUVMテストベンチでは、envはDUTのイン…

2015-07-16

UVM Cookbook 眺めてみた - The Agent

EDA systemverilog UVM UVM Cookbook

はじめに UVM Cookbookを眺めてみた、の続きです。今日はTestbenchのAgentの話です。 The Agent UVMのagentはピンレベルのインタフェースを扱うuvm_componentsを集めたものだよ。ピンレベルのトランザクションを生成したりモニタしたりするよ。 agentに関連…