Assertion list
integrated circuit (subgroup of circuit ) → HasProperty

Results from Ascent++: 1
integrated circuitHasProperty defective 0.29