Explore l'optimisation automatique des circuits arithmétiques, en abordant les défis dans les circuits de restructuration pour améliorer l'efficacité et les performances.
Couvre la vérification de la synchronisation, la modélisation du retard de la porte, le retard du réseau, les chemins sensibilisables et l'analyse du chemin critique dans les circuits numériques.
Introduit des méthodes et des outils de simulation numérique, couvrant la simulation numérique, les simulateurs orientés objet et divers scénarios d'application.
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 la simulation exacte des diffusions de Wright-Fisher couplées, couvrant la génétique des populations, les réseaux de loci en interaction et les défis de diffusion.
Introduit VHDL, couvrant son histoire, ses caractéristiques clés, son système de bibliothèque, son entité, son architecture, ses signaux et ses types de données.
Explore les paramètres de simulation hydroacoustique, la modélisation des oscillations de masse et les erreurs de validation dans les installations hydroélectriques.
