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

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

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

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Мой голос останется с вами

Автор:
Категория: Психология
Размер книги: 416 Kb

Theoretische Physik 5: statistische Theorie der Waerme

Автор:
Категория: General courses
Размер книги: 1.43 Mb

Реализация стратегии маркетинга

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

Spatial Modeling Principles in Earth Sciences Zekai Sen

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

Digging in The Dirt

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