# "nand-01.prsimrc"
#	$Id: nand-01.prsimrc,v 1.2 2006/05/06 04:19:27 fang Exp $
# @haco@ nand.haco-a
# Testing basic NAND gate

watchall
# timing uniform 10

set a 0
cycle
assert c 1

set a 1
cycle
assert c X

set b 1
cycle
assert c 0

set b 0
cycle
assert c 1

set a X
cycle
assert c 1

set b X
cycle
assert c X

time

