Abstract: A power intent may be loaded on an integrated circuit (IC) design, where the power intent may be represented by a set of constraints. A logic network may be constructed based on the set of constraints and a rule check which is desired to be performed on the power intent. In response to a failure of the rule check, one or more refutation proofs may be created based on the logic network. A subset of the set of constraints may be identified based on the one or more refutation proofs, where the subset of the set of constraints may include an inconsistency which caused the rule check to fail.

Abstract: A method and apparatus for determining whether a telephony system malfunction is caused by defective telephone company trunk lines connected thereto, or caused by defective system equipment. The present invention comprises two double pole double throw relays having connections arranged whereby a pair of telephony equipment interface channels have multiple remote testing capabilities. The present invention performs trunk rolling and/or inter-channel loop back testing under local or remote control.