Ascent++
Search
Assertion list
output
(
aspect
of
gate
)
→ HasA
Results from
Ascent++
:
3
output
→
HasA
→
a voltage of 3.4 v
0.31
output
→
HasA
→
0.2 v
0.25
output
→
HasA
→
a plurality of output lines
0.25