Assertion list for term "implemented as single asic".
Results from Ascent++: 1
processor (aspect of pda) → ReceivesAction → implemented as single asic 0.25