libcats.org
Главная

Computer Architecture, Complexity and Correctness

Обложка книги Computer Architecture, Complexity and Correctness

Computer Architecture, Complexity and Correctness

,
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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb
Только что пользователи скачали эти книги:

Allen, Tom - Tales From the Darkside

Автор:
Размер книги: 285 Kb

Куку и Мяу

Автор:
Размер книги: 12 Kb

Информатика: 7-11 кл.: Учеб. пособие

Автор:
Категория: computers
Размер книги: 19.34 Mb

Dragonheart

Автор:
Размер книги: 1.56 Mb

Masa lalu Uang & Masa Depan Dunia

Автор:
Размер книги: 9.06 Mb

Baldy and the Dead Southpaw

Автор:
Категория: fiction
Размер книги: 278 Kb