#freeze
#norelated
* ご挨拶 [#u36ca458]

我が社(有限会社赤葉ロジック→以下"RLL"と表示)の活動内容をご理解いただくために、ある程度の技術内容を継続的に技術メモとして公開して行きます。
我が社(有限会社赤葉ロジック→以下"RLL"と表示)の活動内容をご理解いただくために、ある程度の技術内容を継続的に技術メモとして公開して行きます。ただし技術メモの公開条件は、apache2ライセンスです。
 /----------------------------------------------------------------------------/
 /  Copyright 2008 有限会社赤葉ロジック                                       /
 /Apache License Version 2.0（「本ライセンス」）に基づいてライセンスされます。/
 /あなたがこのファイルを使用するためには、本ライセンスに従わなければ          /
 /なりません。本ライセンスのコピーは下記の場所から入手できます。              / 
 /     http://www.apache.org/licenses/LICENSE-2.0                             /
 /適用される法律または書面での同意によって命じられない限り、本ライセンスに    /
 /基づいて頒布されるソフトウェアは、明示黙示を問わず、いかなる保証も          /
 /条件もなしに「現状のまま」頒布されます。本ライセンスでの権利と制限を        /
 /規定した文言については、本ライセンスを参照してください。                    / 
 /----------------------------------------------------------------------------/


** systemVerilog [#jb02aba8]
*** 簡単な説明 [#iaabdfed]
*** 技術メモ [#h2ec94e1]
- [[randomize()の威力をグラフにしてみる]] 
　　randomaize()てそんなに便利？？と思ったので数値化しグラフにしてみた。
回路はお手軽にcase文で作成、順番による調停回路20bit（ラウンドロビン）ただしクロック毎に調停する　RTLは下記参照
* 組み込みとは [#v9105c25]

カバレッジ値の変化を見たいだけなのでアサーションはovlのassert_zero_one_hotのみ付けといた。
ソフトウエアエンジニアリングの分野で”組み込み”とは、各種機器（家電、産業用機器等々..)を制御するためのソフトウエアを指す。

　結果は冒頭のグラフにあるとおりrandomパターンを80個生成でカバレッジ１００％達成。結構収束が速い。。回路の性格で？？
　randomize()を使用した回路検証の雰囲気が何となくつかめた。
一般的に機器に組み込まれた状態で機器の寿命まで使用される。近年ではソフトウエアの入れ替え技術が進展し、不具合があれば修正後入れ替えも比較的容易になってきている。

#ref(arbitr_cov.jpg)

- [[InterWikiSandBox]] -- [[InterWiki]]を試してみてください
&size(20){''目次''};
#contents

** vmm [#v54d505c]
- [[動作サンプル-cvc_counter]]

CENTER:[[FrontPage]]



** PukiWikiについて [#m88d9f7f]

- [[PukiWiki]] -- PukiWikiのご紹介

*** ドキュメント [#f1e22835]
- [[ヘルプ>Help]] -- PukiWikiで編集するには？
- [[テキスト整形のルール(詳細版)>FormattingRules]]
- [[プラグインマニュアル>PukiWiki/1.4/Manual/Plugin]]
トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS