Module libreda_sta::cone_propagation

Propagate forward and backward cones from a set of frontier nodes. The cones mark the regions where the timing must potentially be updated.

Structs

• ConePropagationOp 🔒
• WorkItem 🔒
  Work item associated with a propagation direction.

Enums

• PropagationDirection 🔒

Functions

• propagate_cones 🔒
  Mark the fan-out cones of the supplied frontier-nodes with the current generation number. Let the set of nodes in this fan-out cones be C_fwd. Then mark also the nodes in the fanin-cones of the nodes in C_fwd with the current generation number.