Ascent++
Search
Assertion list
output
(
aspect
of
gate
)
→ AtLocation
Results from
Ascent++
:
1
output
→
AtLocation
→
a high impedance state
0.25