<図書>

Assertion-based design / Harry Foster, Adam Krolnik, David Lacey

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工2・電子
830:755 1011227970


書誌詳細を非表示

出版者 Boston : Kluwer Academic
出版年 c2003
大きさ xxii, 363 p. : ill. ; 25 cm
一般注記 Includes bibliographical references (p. 353-357) and index
著者標目 Foster, Harry, 1956-
Krolnik, Adam
Lacey, David
件 名 LCSH:Integrated circuits -- Very large scale integration -- Design and construction
LCSH:Integrated circuits -- Verification
LCSH:Verilog (Computer hardware description language)
分 類 LCC:TK7874.75
DC21:621.39/5
本文言語 英語
書誌ID 2001814044
ISBN 1402074980
NCID BA65250572 WCLINK

検索結果一覧に戻る ページトップ