Explore l'évolution des systèmes numériques, des transistors aux circuits intégrés, en mettant l'accent sur l'impact de la loi de Moore et du travail pratique du FPGA.
Explore les machines d'état fini (FSM) dans la conception de systèmes numériques, couvrant les FSM Mealy et Moore, les diagrammes d'état, l'implémentation VHDL et l'encodage d'état.
Explore le flux de conception RTL, l'intégration au niveau de la puce, les cellules standard et l'analyse de synchronisation statique dans la conception VLSI.
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.
Explore l'histoire et l'importance des langages de description de matériel dans l'automatisation des processus de conception et la description du matériel parallèle.
