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.
