Assertion list
processor (aspect of pda ) → ReceivesAction
Results from Ascent++: 2
processor → ReceivesAction → configured to perform various p… 0.31
processor → ReceivesAction → implemented as single asic 0.25