Decision-theoretic control of resource-constrained rule-checking in design for manufacturability

The authors present an investigation of formally rigorous techniques based on decision-theoretic principles that address the problem of bounding the amount of checks being performed in manufacturability rule checking under resource constraints and uncertainty. They derived a set of optimal decision policies that may be used to decide which rules to check and where on the design they should be used. The model looks ahead, taking into account all sources of uncertainty and risk preferences to obtain the optimal decision policy by deliberating on the tradeoff between the value of the information potentially available and the computational cost. Various deliberation schemes and a metalevel decision model that can be used to select the best deliberation scheme are also presented