Ascent++
Search
Assertion list
output
(
aspect
of
gate
)
→ HasSubevent
Results from
Ascent++
:
1
output
→
HasSubevent
→
the alu output register
0.28