.model top
.inputs in clk
.outputs viol sample
.latch    ny3 ny4 re clk 2
.latch    ny5 sample re clk 2
.latch    in nx1 re clk 2
.latch    nx1 nx2 re clk 2
.names in nx1 nx2 viol
111 1
000 1
.names viol ny4 ny3
1- 1
-0 1
.names sample ny4 [12] ny5
--1 1
11- 1
.names ny4 nx1 nx2 [12]
001 1
010 1
.end