A method for selecting which covers to retain for each node reduces the computational burden for large logic cones and large cell libraries. At each node only K covers are retained. These covers have timing performances which are centered around the ideal timing performance for that node, and do not include inferior covers. The computational burden in selecting the covers for each node is based on the number K, and the number of inputs to that node.

Eine Methode für das Vorwählen, das bedeckt, um für jeden Nullpunkt zu behalten, verringert die Berechnungsbelastung für große Logikkegel und große Zellenbibliotheken. An jedes Nullpunkt werden nur K Abdeckungen behalten. Diese Abdeckungen haben Zeitverhalten, die um das ideale Zeitverhalten für diesen Nullpunkt zentriert werden, und schließen nicht minderwertige Abdeckungen ein. Die Berechnungsbelastung, wenn man die Abdeckungen für jeden Nullpunkt vorwählt, basiert auf der Zahl K und der Zahl Eingängen zu diesem Nullpunkt.