VHDLを利用したシステム仕様記述/検証モデルの一考察
スポンサーリンク
概要
- 論文の詳細を見る
交換システムのバグ削減や障害検出のためのモデル化手法は、現状では確立しておらず、システム方式設計の段階で、システムとしての信頼性を確保する手法の確立が必要である。開発した装置のシステム的な仕様バグを設計段階で効率よく検出/対処し、バグ要因の削減効果を期待するため、本稿ではシステム仕様の一部を、トップダウン設計として設計展開することを考慮して、ハードモデルを扱い易いVHDLモデルを記述し、システム動作の検証を行うアプローチについて検討・研究したので、その報告を行う。
- 社団法人電子情報通信学会の論文
- 1996-03-11
著者
-
佐藤 啓之
NEC C&C基盤開発研究所
-
佐藤 啓之
Nec C&c基盤開発研究所
-
鈴木 雄一
Nec
-
平田 英之
Nec C&c 基盤開発研究所
-
鈴木 雄一
NEC C&C 基盤開発研究所
-
鈴木 雄一
Nec C&c 基盤開発研究所
関連論文
- 複数優先クラスパケットスイッチファブリックの提案
- 複数優先クラスパケットスイッチファブリックの提案
- 大容量ATM交換機を構成する基盤技術に関する一考察
- VHDLを利用したシステム仕様記述/検証モデルの一考察
- Mobile ATMにおけるBuffering方式の提案