Ascent++
Search
Assertion list
for term "configured to receive first control signal".
Results from
Ascent++
:
1
circuit
→
ReceivesAction
→
configured to receive first control signal
0.25