ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法
Bibliographic Information
- Other Title
-
- A Debugging Support Method for System-Level Designs by Using Word-Level Satisfiability Problem
Search this article
Journal
-
- 全国大会講演論文集
-
全国大会講演論文集 第72回 (アーキテクチャ), 153-154, 2010-03-08
- Tweet
Details 詳細情報について
-
- CRID
- 1050292572098344576
-
- NII Article ID
- 110008105409
-
- NII Book ID
- AN00349328
-
- Web Site
- http://id.nii.ac.jp/1001/00139803/
-
- Text Lang
- ja
-
- Article Type
- conference paper
-
- Data Source
-
- IRDB
- CiNii Articles