Introduit des circuits numériques, couvrant les systèmes binaires, les opérateurs logiques, l'algèbre booléenne, les éléments de mémoire, et des exemples pratiques comme les décodeurs BCD et les registres de décalage.
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.
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.
