.model MCNC-Seq__tav
.inputs pi0 pi1 pi2 pi3
.outputs po0 po1 po2 po3
.latch li0 lo0
.latch li1 lo1
.names n20 po0
0 1
.names n21 po1
0 1
.names n22 po2
0 1
.names n23 po3
0 1
.names lo0 li0
0 1
.names n24 li1
0 1
.names n27 n31 n20
00 1
.names n25 n29 n21
00 1
.names n26 n30 n22
00 1
.names n28 n32 n23
00 1
.names n33 n34 n24
00 1
.names pi0 pi1 pi2 pi3 n25
0100 1
.names pi0 pi1 pi2 pi3 n26
0010 1
.names pi0 pi1 pi2 pi3 n27
1000 1
.names pi0 pi1 pi2 pi3 n28
0001 1
.names pi1 pi2 lo0 lo1 n29
1011 1
.names pi1 pi2 lo0 lo1 n30
0111 1
.names pi0 lo0 lo1 n31
111 1
.names pi3 lo0 lo1 n32
111 1
.names lo0 lo1 n33
00 1
.names lo0 lo1 n34
11 1
.end
