# "logic-01.prsimrc"
#	$Id: logic-01.prsimrc,v 1.1 2006/07/26 19:27:47 fang Exp $
# @haco@ logic-01.haco-a
# testing prsim on basic logic gates

assert _nand4.o X
assert _nor4.o X
assert _c4.o X

watchall
set i[0] 0
cycle
assert _nand4.o 1
assert _nor4.o X
assert _c4.o X

set i[0] 1
cycle
echo expect weak-interference on o1 (nand)
assert _nand4.o X
assert _nor4.o 0
assert _c4.o X

set i[1] 1
set i[2] 1
set i[3] 1
cycle
assert _nand4.o 0
assert _nor4.o 0
assert _c4.o 0

set i[3] 0
cycle
assert _nand4.o 1
assert _nor4.o 0
assert _c4.o 0

set i[0] 0
set i[1] 0
set i[2] 0
cycle
assert _nand4.o 1
assert _nor4.o 1
assert _c4.o 1

