Describes a given point in the order completion process in which the circuit design is checked for accuracy and all assignments are verified/available.