Mendeley出力
＜図書＞
Computer architecture : complexity and correctness
| 責任表示 | Silvia M. Mueller, Wolfgang J. Paul |
|---|---|
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c2000 |
| 本文言語 | 英語 |
| 大きさ | xiii, 553 p. : ill. ; 25 cm |
| 概要 | Hardware correctness is becoming ever more important in the design of computer systems. The authors introduce a powerful new approach to the design and analysis of modern computer architectures, base... on mathematically well-founded formal methods which allows for rigorous correctness proofs, accurate hardware costs determination, and performance evaluation. This book develops, at the gate level, the complete design of a pipelined RISC processor with a fully IEEE-compliant floating-point unit. In contrast to other design approaches, the design presented here is modular, clean and complete. 続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図2F 開架 | 548.2/Mu 16 | 2000 |
|
031212006601898 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. [543]-547) and index |
|---|---|
| 著者標目 | Mueller, Silvia M. Paul, Wolfgang J. |
| 書誌ID | 1001210228 |
| ISBN | 3540674810 |
| NCID | BA4793698X |
| 巻冊次 | ISBN:3540674810 |
| 登録日 | 2009.09.18 |
| 更新日 | 2009.09.18 |