A method for improved load sensitivity modeling in a minimal level sensitive timing abstraction model provides for an extension of the timing abstraction model. The timing abstraction model extension improves accuracy of the timing abstraction model by splitting setup/hold check nodes and/or dummy latch nodes at certain input and/or output ports.

Une méthode pour la sensibilité améliorée de charge modelant dans un modèle sensible de niveau minimal d'abstraction de synchronisation prévoit une prolongation du modèle d'abstraction de synchronisation. La prolongation de modèle d'abstraction de synchronisation améliore l'exactitude du modèle d'abstraction de synchronisation en dédoublant des noeuds de contrôle de setup/hold et/ou des noeuds factices de verrou à certains ports d'entrée et/ou de rendement.