お店のコメント(スペック情報を含む場合もあり)
内容説明 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, based 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.
商品ジャンル
商品名
最終調査日時
2012/12/01 (Sat) 12:42:58
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/12/01 (Sat) 12:42:58
¥9,911
0 %
¥9,911
1970/01/01 (Thu) 00:00:00
¥0
0 %
¥0
1970/01/01 (Thu) 00:00:00
¥0
0 %
¥0
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告