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.
Explore les circuits logiques synchrones, les techniques de modélisation, la minimisation des états et l'optimisation des machines à états finis pour la réduction de surface.
Explore l'évolution des systèmes numériques, couvrant les bases comme l'algèbre booléenne et les portes logiques, et met l'accent sur les compétences de travail d'équipe et le vocabulaire professionnel.
Couvre les fondamentaux du calcul quantique, les architectures ADC, les avantages de suréchantillonnage, la formation du bruit, les phénomènes de glissade et le bruit des circuits intégrés 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.
