Эти книги рассказывают о том, что и как работает под слоем керамики. Они бесполезны с коммерческой точки зрения, поскольку электронные устройства заказывают редко (да и с теми, кто заказывает — лучше дела не иметь, особенно в этой стране), но могут пригодиться на низком уровне (где было бы полезно знать, как работают кеши и совмещение стадий выполнения, как проверять числа с точкой и тому подобное).

Кое-где для понимания предмета требуется знание логики.

Язык Ассемблера:

   – Daniel J. Ellard — «MIPS Assembly Language»
   – Paul A. Carter — «PC Assembly Language»

Числа с точкой:

   – Michael L. Overton — «Numerical Computing»
   – Ronald T. Kneusel — «Numbers and Computers»

Архитектура компьютера:

   – David A. Patterson, John L. Hennessy — «Computer Organization and Design» + ответы
   – Gérard Blanchet, Bertrand Dupouy — «Computer Architecture»
   – Joseph D. Dumas II — «Computer Architecture»

   – Brian Holdsworth, Clive Woods — «Digital Logic Design»
   – Charles H. Roth, Larry L. Kinney — «Fundamentals of Logic Design»
   – David Harris, Sarah Harris — «Digital Design and Computer Architecture»
   – Hubert Kaeslin — «Digital Integrated Circuit Design»
   – John E. Ayers — «Digital Integrated Circuits Analysis and Design»
   – M. Morris Mano, Charles R. Kime — «Logic and Computer Design Fundamentals» + ответы
   – Mark Balch — «Complete Digital Design Electronics and Computer System Architecture»
   – Ronald Sass, Andrew G. Schmidt — «Embedded Systems Design with Platform FPGAs»
   – William J. Dally, R. Curtis Harting, Tor M. Aamodt — «Digital Design using VHDL»

Совмещение стадий выполнения:

   – Paul Chow — «The MIPS-X RISC Microprocessor»
   – Paul Chow — «Architectural Tradeoffs in the Design of MIPS-X»

Сотрясение цифрового сигнала, карты Карно:

   – David A. Huffman — «The Design and Use of Hazard-Free Switching Networks»
   – E.B. Eichelberger — «Hazard Detection in Combinational and Sequential Switching Circuits»
   – Maurice Karnaugh — «The Map Method For Synthesis of Combinational Logic Circuits»
   – Steven M. Nowick — «Exact Two Level Minimization of Hazard-Free Logic: Problems and Solutions»
   – Steven M. Nowick, Charles W. O'Donnell — «On the Existence of Hazard-Free Multi-Level Logic»
   – William J. Eccles — «Pragmatic Logic and Static Logic Hazard Elimination Methods»

VHDL и Verilog:

   – Blaine Readler — «Verilog by Example»
   – James E. Stine — «Digital Computer Arithmetic»
   – John Williams — «Digital VLSI Design with Verilog»
   – Joseph Cavanagh — «Verilog HDL Design Examples»
   – Peter Wilson — «Design Recipes for FPGAs using Verilog»
   – Robert B. Reese — «Introduction to Logic Synthesis using Verilog»

   – Andrew Rushton — «VHDL for Logic Synthesis»
   – Brock J. LaMeres — «A Quick Start Guide to VHDL»
   – Brock J. LaMeres — «Introduction to Logic Circuits and Logic Design»
   – Charles H. Roth, Lizy K. John — «Digital Systems Design Using VHDL» + ответы
   – Douglas L. Perry — «VHDL Programming by Example: a Step-by-Step Reference»
   – Richard S. Sandige, Michael L. Sandige — «Digital and Computer Design with VHDL»
   – Volnei A. Pedroni — «Circuit Design with VHDL»

Тестирование:

   – Alexander Miczo — «Digital Logic Testing and Simulation»
   – Chris Spear — «SystemVerilog for Hardware Verification»
   – Janick Bergeron — «Writing Testbenches for HDL Models»
   – Janick Bergeron — «Writing Testbenches using SystemVerilog»
   – Lionel Bening, Harry Foster — «Principles of Verifiable RTL Design»