integrated circuit subgroup of circuit, 27 assertions