Ascent++
Search
input
aspect of
latch
,
13
assertions
CapableOf
1
latch 10
0.63
HasProperty
5
high
0.68
low
0.59
equal
0.38
active
0.32
positive
0.25
ReceivesAction
6
shown in fig
0.42
connected
0.42
coupled to first node
0.25
provided
0.25
coupled to the input ci…
0.25
connected to the output…
0.25
RelatedTo
1
request
0.25