vector x_in x_in[15:0]
vector y_in y_in[15:0]
vector x x[15:0]
vector y y[15:0]
watch x y
assign x_in 32\d
assign y_in 12\d
h load
l gsr
clock clk 0 1 0
cycle
l load

| Now that everything is loaded we go through the cycles until X = Y = 4.
cycle
check x 20\d
cycle 
check x 8\d
cycle 
check y 4\d
cycle 
check x 4\d
check done 1
