Techniques de retiming : optimisation et extraction d’état

Cette séance de cours couvre les techniques de retiming basées sur la relaxation, qui consistent à ajuster la synchronisation des signaux dans un circuit pour optimiser le temps de cycle ou la zone de registre. Il explique l'approche itérative du retiming, du retiming de zone minimum et du retiming dans des contraintes de timing. La séance de cours traite également d'autres problèmes connexes tels que le retiming des circuits pipelinés, le retiming périphérique et la tuyauterie de fil. En outre, il explore les méthodes d'extraction d'état, y compris le codage d'état, l'analyse d'accessibilité et la traversée de l'espace d'état à l'aide de diagrammes de décision binaires (BDD). L'instructeur souligne l'importance de gérer la croissance exponentielle de la taille de l'espace d'état dans les processus d'optimisation et de vérification.