Ascent++
Search
nand gate
subgroup of
gate
,
2
assertions
CapableOf
2
create a logic 0 pulse
0.68
function as inverter
0.25