# "and-nand-why-01.prsimrc"
# @haco@ and-nand.haco-a

watchall
fanin o

echo why is o X?
why-x o
why-x-verbose o

echo --------------------
set a 1
cycle
why-x o
why-x-verbose o

echo --------------------
set c 1
cycle
why-x o
why-x-verbose o

echo --------------------
set b 1
cycle
why-x o
why-x-verbose o
why o
why-verbose o

echo gray code transitions...
echo --------------------
set d 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o


echo --------------------
set a 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o


echo --------------------
set b 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o


echo --------------------
set a 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 0
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set d 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo --------------------
set c 1
cycle
why-not o
why-not-verbose o
why o
why-verbose o

echo done!

