Explore l'analyse de synchronisation statique dans la conception du système numérique, couvrant les exigences de temps de configuration et de maintien, les chemins critiques et les conditions de synchronisation.
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 les principes de la conception synchrone RTL, des circuits numériques personnalisés, de la visualisation des diagrammes Y, des classes de signaux et de la gestion de la hiérarchie.
Couvre la génération d'impulsions, la détection de bord, les erreurs de conception courantes et les signaux d'horloge / réinitialisation dans les circuits logiques.
Explore le flux de conception du backend dans la conception ASIC semi-personnalisée, couvrant la mise en page, la génération d'arbre d'horloge et la préparation du ruban adhésif.
Explore les recherches du professeur Subashish Mitra sur les systèmes robustes et les problèmes urgents dans les TIC, en soulignant l'importance de comprendre l'ensemble du système pour des solutions innovantes.
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.
Explore la construction et les concepts clés des systèmes numériques, y compris la représentation binaire, les différences matériel-logiciel et les options de mise en œuvre.
Couvre l'organisation, les objectifs, les idées de projet, l'amélioration graphique, les adaptateurs avancés et les interfaces alternatives pour un projet de jeu vidéo.
Couvre la conception d'un adaptateur VGA pour un projet de jeu Pong et explique l'architecture de l'interface VGA et les options de génération de signal vidéo.
Introduit les bases de la conception physique dans la conception des puces VLSI, en mettant l'accent sur les caractéristiques de mise en page, le câblage d'alimentation et l'optimisation de la disposition des portes.
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.
