Couvre les preuves des théorèmes de circuits irréversibles et réversibles, en mettant l'accent sur les portes et la question de l'irréversibilité et de la réversibilité.
Explore le couplage de champ E incident aux câbles blindés, couvrant l'impédance de transfert, les réponses internes et les mesures de données de câble pratiques.
Couvre les principes de base et l'architecture des FPGA (Field Programmable Gate Arrays) et leurs options de mise en œuvre pour les circuits numériques.
Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.
Fournit une vue d'ensemble des circuits logiques numériques, en se concentrant sur les systèmes de mémoire et les décodeurs binaires, y compris leurs protocoles de fonctionnement et d'accès.