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.
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.
Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.
Couvre les principes fondamentaux de la logique statique, y compris l'immunité au bruit, les marges de bruit et diverses conceptions de portes logiques.
Explore Molecular Quantum-dot Cellular Automata (MQCA) circuits, mettant l'accent sur le comportement des molécules bis-ferrocènes et les portes logiques de base.
