Ascent++
Search
circuit diagram
subgroup of
diagram
,
3
assertions
ReceivesAction
1
broken into schematic c…
0.51
UsedFor
2
the circuit design
0.77
construction
0.35