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.
Couvre le modèle structurel pour les circuits séquentiels, les réseaux logiques synchrones et les approches de synthèse séquentielle, y compris le retiming.
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.
Présente les principes fondamentaux des systèmes numériques, en se concentrant sur la logique séquentielle et les éléments de mémoire tels que les verrous et les bascules.
Couvre la conception et la synthèse des machines à états finis, y compris l'exhaustivité, la cohérence, les états fantômes et les tables de transition.
