Méthodes de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP : fondement théorique et implémentation

The principal problem of component-based design is that the behavior of the RTL model may be incorrect. This article presents the formalization of the problem and proposes an automatic correction method (called delay correction) to solve it. We propose two algorithms which perform the optimal solution in latency and area. The effectiveness of the approach and the optimality of the proposed solutions are mathematically proven.