Test synthesis for strongly testable datapaths using datapath-controller functions

Test synthesis for strongly testable datapaths using datapath-controller functions

Michiko Inoue, Kazuhiro Suzuki, Hiroyuki Okamoto, Hideo Fujiwara

生駒 : 奈良先端科学技術大学院大学, 2003.5

学内論文

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

  • TR

R002391

詳細情報

刊年

2003

形態

6 p.

シリーズ名

Information Science Technical Report ; TR2003005

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

井上, 美智子 (イノウエ, ミチコ)

鈴木, 和博 (スズキ, カズヒロ)

岡本, 紘征 (オカモト, ヒロユキ)

藤原, 秀雄 (1946-) (フジワラ, ヒデオ) [ Huziwara, Hideo ] [ Fujiwara, Hideo ]

ISSN

09199527