WEKO3
-
RootNode
アイテム
RC-006 多重様相論理による遅延依存非同期回路の形式検証体系(C分野:ハードウェア・アーキテクチャ,査読付き論文)
https://ipsj.ixsq.nii.ac.jp/records/153608
https://ipsj.ixsq.nii.ac.jp/records/1536087e12cb3d-21b6-4833-bd5a-2e5ead2b27bd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00010049067.pdf (608.5 kB)
|
Copyright (c) 2015 by IEICE,IPSJ
|
| Item type | FIT(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2015-08-24 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | RC-006 多重様相論理による遅延依存非同期回路の形式検証体系(C分野:ハードウェア・アーキテクチャ,査読付き論文) | |||||||||||||||
| タイトル | ||||||||||||||||
| 言語 | en | |||||||||||||||
| タイトル | RC-006 Formal Verification Method of Delay Sensitive Asynchronous Circuit using Multimodal Logic | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||
| 著者所属 | ||||||||||||||||
| 熊本大学大学院自然科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 熊本大学大学院自然科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 熊本大学大学院自然科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 熊本大学大学院自然科学研究科 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 熊本大学大学院自然科学研究科 | ||||||||||||||||
| 著者名 |
西村, 俊二
× 西村, 俊二
× 久我, 守弘
× 飯田, 全広
× 尼崎, 太樹
× 末吉, 敏則
|
|||||||||||||||
| 著者名(英) |
Nishimura, Shunji
× Nishimura, Shunji
× Kuga, Morihiro
× Iida, Masahiro
× Amagasaki, Motoki
× Sueyoshi, Toshinori
|
|||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AA1242354X | |||||||||||||||
| 書誌情報 |
情報科学技術フォーラム講演論文集 巻 14, 号 1, p. 49-54, 発行日 2015-08-24 |
|||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
