文献
J-GLOBAL ID:200902109972337122
整理番号:93A0309726
データフローに基づくハードウェア記述言語の検証法
Verification based on Data Flow for Hardware Description Language.
著者 (3件):
吉田たけお
(長岡技科大)
,
貴家仁志
(東京都大 工)
,
内藤祥雄
(東京都大 工)
資料名:
電子情報通信学会技術研究報告
(IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻:
92
号:
473(FTS92 47-55)
ページ:
25-32
発行年:
1993年02月19日
JST資料番号:
S0532B
ISSN:
0913-5685
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)