Assertion list for term "intended logic function".

Results from Ascent++: 1
integrated circuit (subgroup of circuit) HasAintended logic function 0.29