electronic circuit subgroup of circuit, 13 assertions