Assertion list
damascene (primary) → ReceivesAction
Results from Ascent++: 1
damascene → ReceivesAction → used to form copper related mul… 0.68