| .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 in ny4 nx1 nx2 ny3 | |
| -0-- 1 | |
| 1-11 1 | |
| 0-00 1 | |
| .names sample ny4 nx1 nx2 ny5 | |
| 11-- 1 | |
| -001 1 | |
| -010 1 | |
| .end |