# vl2mv eight_queens.v # version: 0.2 # date: 11:14:02 12/11/95 (PST) .model game # I/O ports .outputs consistent # assign a11 = $NDset ( 0,1 ) .names a11 0 1 # assign a12 = $NDset ( 0,1 ) .names a12 0 1 # assign a13 = $NDset ( 0,1 ) .names a13 0 1 # assign a14 = $NDset ( 0,1 ) .names a14 0 1 # assign a15 = $NDset ( 0,1 ) .names a15 0 1 # assign a16 = $NDset ( 0,1 ) .names a16 0 1 # assign a17 = $NDset ( 0,1 ) .names a17 0 1 # assign a18 = $NDset ( 0,1 ) .names a18 0 1 # assign a21 = $NDset ( 0,1 ) .names a21 0 1 # assign a22 = $NDset ( 0,1 ) .names a22 0 1 # assign a23 = $NDset ( 0,1 ) .names a23 0 1 # assign a24 = $NDset ( 0,1 ) .names a24 0 1 # assign a25 = $NDset ( 0,1 ) .names a25 0 1 # assign a26 = $NDset ( 0,1 ) .names a26 0 1 # assign a27 = $NDset ( 0,1 ) .names a27 0 1 # assign a28 = $NDset ( 0,1 ) .names a28 0 1 # assign a31 = $NDset ( 0,1 ) .names a31 0 1 # assign a32 = $NDset ( 0,1 ) .names a32 0 1 # assign a33 = $NDset ( 0,1 ) .names a33 0 1 # assign a34 = $NDset ( 0,1 ) .names a34 0 1 # assign a35 = $NDset ( 0,1 ) .names a35 0 1 # assign a36 = $NDset ( 0,1 ) .names a36 0 1 # assign a37 = $NDset ( 0,1 ) .names a37 0 1 # assign a38 = $NDset ( 0,1 ) .names a38 0 1 # assign a41 = $NDset ( 0,1 ) .names a41 0 1 # assign a42 = $NDset ( 0,1 ) .names a42 0 1 # assign a43 = $NDset ( 0,1 ) .names a43 0 1 # assign a44 = $NDset ( 0,1 ) .names a44 0 1 # assign a45 = $NDset ( 0,1 ) .names a45 0 1 # assign a46 = $NDset ( 0,1 ) .names a46 0 1 # assign a47 = $NDset ( 0,1 ) .names a47 0 1 # assign a48 = $NDset ( 0,1 ) .names a48 0 1 # assign a51 = $NDset ( 0,1 ) .names a51 0 1 # assign a52 = $NDset ( 0,1 ) .names a52 0 1 # assign a53 = $NDset ( 0,1 ) .names a53 0 1 # assign a54 = $NDset ( 0,1 ) .names a54 0 1 # assign a55 = $NDset ( 0,1 ) .names a55 0 1 # assign a56 = $NDset ( 0,1 ) .names a56 0 1 # assign a57 = $NDset ( 0,1 ) .names a57 0 1 # assign a58 = $NDset ( 0,1 ) .names a58 0 1 # assign a61 = $NDset ( 0,1 ) .names a61 0 1 # assign a62 = $NDset ( 0,1 ) .names a62 0 1 # assign a63 = $NDset ( 0,1 ) .names a63 0 1 # assign a64 = $NDset ( 0,1 ) .names a64 0 1 # assign a65 = $NDset ( 0,1 ) .names a65 0 1 # assign a66 = $NDset ( 0,1 ) .names a66 0 1 # assign a67 = $NDset ( 0,1 ) .names a67 0 1 # assign a68 = $NDset ( 0,1 ) .names a68 0 1 # assign a71 = $NDset ( 0,1 ) .names a71 0 1 # assign a72 = $NDset ( 0,1 ) .names a72 0 1 # assign a73 = $NDset ( 0,1 ) .names a73 0 1 # assign a74 = $NDset ( 0,1 ) .names a74 0 1 # assign a75 = $NDset ( 0,1 ) .names a75 0 1 # assign a76 = $NDset ( 0,1 ) .names a76 0 1 # assign a77 = $NDset ( 0,1 ) .names a77 0 1 # assign a78 = $NDset ( 0,1 ) .names a78 0 1 # assign a81 = $NDset ( 0,1 ) .names a81 0 1 # assign a82 = $NDset ( 0,1 ) .names a82 0 1 # assign a83 = $NDset ( 0,1 ) .names a83 0 1 # assign a84 = $NDset ( 0,1 ) .names a84 0 1 # assign a85 = $NDset ( 0,1 ) .names a85 0 1 # assign a86 = $NDset ( 0,1 ) .names a86 0 1 # assign a87 = $NDset ( 0,1 ) .names a87 0 1 # assign a88 = $NDset ( 0,1 ) .names a88 0 1 .subckt single8 H1 x1=a11 x2=a12 x3=a13 x4=a14 x5=a15 x6=a16 x7=a17 x8=a18 out=h1 .subckt single8 H2 x1=a21 x2=a22 x3=a23 x4=a24 x5=a25 x6=a26 x7=a27 x8=a28 out=h2 .subckt single8 H3 x1=a31 x2=a32 x3=a33 x4=a34 x5=a35 x6=a36 x7=a37 x8=a38 out=h3 .subckt single8 H4 x1=a41 x2=a42 x3=a43 x4=a44 x5=a45 x6=a46 x7=a47 x8=a48 out=h4 .subckt single8 H5 x1=a51 x2=a52 x3=a53 x4=a54 x5=a55 x6=a56 x7=a57 x8=a58 out=h5 .subckt none8 H6 x1=a61 x2=a62 x3=a63 x4=a64 x5=a65 x6=a66 x7=a67 x8=a68 out=h6 .subckt none8 H7 x1=a71 x2=a72 x3=a73 x4=a74 x5=a75 x6=a76 x7=a77 x8=a78 out=h7 .subckt none8 H8 x1=a81 x2=a82 x3=a83 x4=a84 x5=a85 x6=a86 x7=a87 x8=a88 out=h8 .subckt single8 V1 x1=a11 x2=a21 x3=a31 x4=a41 x5=a51 x6=a61 x7=a71 x8=a81 out=v1 .subckt single8 V2 x1=a12 x2=a22 x3=a32 x4=a42 x5=a52 x6=a62 x7=a72 x8=a82 out=v2 .subckt single8 V3 x1=a13 x2=a23 x3=a33 x4=a43 x5=a53 x6=a63 x7=a73 x8=a83 out=v3 .subckt single8 V4 x1=a14 x2=a24 x3=a34 x4=a44 x5=a54 x6=a64 x7=a74 x8=a84 out=v4 .subckt single8 V5 x1=a15 x2=a25 x3=a35 x4=a45 x5=a55 x6=a65 x7=a75 x8=a85 out=v5 .subckt none8 V6 x1=a16 x2=a26 x3=a36 x4=a46 x5=a56 x6=a66 x7=a76 x8=a86 out=v6 .subckt none8 V7 x1=a17 x2=a27 x3=a37 x4=a47 x5=a57 x6=a67 x7=a77 x8=a87 out=v7 .subckt none8 V8 x1=a18 x2=a28 x3=a38 x4=a48 x5=a58 x6=a68 x7=a78 x8=a88 out=v8 .names _n80 0 .names _n81 0 .names _n82 0 .names _n83 0 .names _n84 0 .names _n85 0 .names _n86 0 .subckt maxone8 L1 x1=a11 x2=_n80 x3=_n81 x4=_n82 x5=_n83 x6=_n84 x7=_n85 x8=_n86 out=l1 .names _n87 0 .names _n88 0 .names _n89 0 .names _n8a 0 .names _n8b 0 .names _n8c 0 .subckt maxone8 L2 x1=a21 x2=a12 x3=_n87 x4=_n88 x5=_n89 x6=_n8a x7=_n8b x8=_n8c out=l2 .names _n8d 0 .names _n8e 0 .names _n8f 0 .names _n90 0 .names _n91 0 .subckt maxone8 L3 x1=a31 x2=a22 x3=a13 x4=_n8d x5=_n8e x6=_n8f x7=_n90 x8=_n91 out=l3 .names _n92 0 .names _n93 0 .names _n94 0 .names _n95 0 .subckt maxone8 L4 x1=a41 x2=a32 x3=a23 x4=a41 x5=_n92 x6=_n93 x7=_n94 x8=_n95 out=l4 .names _n96 0 .names _n97 0 .names _n98 0 .subckt maxone8 L5 x1=a51 x2=a42 x3=a33 x4=a24 x5=a15 x6=_n96 x7=_n97 x8=_n98 out=l5 .names _n99 0 .names _n9a 0 .subckt maxone8 L6 x1=a61 x2=a52 x3=a43 x4=a34 x5=a25 x6=a16 x7=_n99 x8=_n9a out=l6 .names _n9b 0 .subckt maxone8 L7 x1=a71 x2=a62 x3=a53 x4=a44 x5=a35 x6=a26 x7=a17 x8=_n9b out=l7 .subckt maxone8 L8 x1=a81 x2=a72 x3=a63 x4=a54 x5=a45 x6=a36 x7=a27 x8=a18 out=l8 .names _n9c 0 .subckt maxone8 L9 x1=a82 x2=a73 x3=a64 x4=a55 x5=a46 x6=a37 x7=a28 x8=_n9c out=l9 .names _n9d 0 .names _n9e 0 .subckt maxone8 L10 x1=a83 x2=a74 x3=a65 x4=a56 x5=a47 x6=a38 x7=_n9d x8=_n9e out=l10 .names _n9f 0 .names _na0 0 .names _na1 0 .subckt maxone8 L11 x1=a84 x2=a75 x3=a66 x4=a57 x5=a48 x6=_n9f x7=_na0 x8=_na1 out=l11 .names _na2 0 .names _na3 0 .names _na4 0 .names _na5 0 .subckt maxone8 L12 x1=a85 x2=a76 x3=a67 x4=a58 x5=_na2 x6=_na3 x7=_na4 x8=_na5 out=l12 .names _na6 0 .names _na7 0 .names _na8 0 .names _na9 0 .names _naa 0 .subckt maxone8 L13 x1=a86 x2=a77 x3=a68 x4=_na6 x5=_na7 x6=_na8 x7=_na9 x8=_naa out=l13 .names _nab 0 .names _nac 0 .names _nad 0 .names _nae 0 .names _naf 0 .names _nb0 0 .subckt maxone8 L14 x1=a87 x2=a78 x3=_nab x4=_nac x5=_nad x6=_nae x7=_naf x8=_nb0 out=l14 .names _nb1 0 .names _nb2 0 .names _nb3 0 .names _nb4 0 .names _nb5 0 .names _nb6 0 .names _nb7 0 .subckt maxone8 L15 x1=a88 x2=_nb1 x3=_nb2 x4=_nb3 x5=_nb4 x6=_nb5 x7=_nb6 x8=_nb7 out=l15 .names _nb8 0 .names _nb9 0 .names _nba 0 .names _nbb 0 .names _nbc 0 .names _nbd 0 .names _nbe 0 .subckt maxone8 R1 x1=a18 x2=_nb8 x3=_nb9 x4=_nba x5=_nbb x6=_nbc x7=_nbd x8=_nbe out=r1 .names _nbf 0 .names _nc0 0 .names _nc1 0 .names _nc2 0 .names _nc3 0 .names _nc4 0 .subckt maxone8 R2 x1=a28 x2=a17 x3=_nbf x4=_nc0 x5=_nc1 x6=_nc2 x7=_nc3 x8=_nc4 out=r2 .names _nc5 0 .names _nc6 0 .names _nc7 0 .names _nc8 0 .names _nc9 0 .subckt maxone8 R3 x1=a38 x2=a27 x3=a16 x4=_nc5 x5=_nc6 x6=_nc7 x7=_nc8 x8=_nc9 out=r3 .names _nca 0 .names _ncb 0 .names _ncc 0 .names _ncd 0 .subckt maxone8 R4 x1=a48 x2=a37 x3=a26 x4=a15 x5=_nca x6=_ncb x7=_ncc x8=_ncd out=r4 .names _nce 0 .names _ncf 0 .names _nd0 0 .subckt maxone8 R5 x1=a58 x2=a47 x3=a36 x4=a25 x5=a14 x6=_nce x7=_ncf x8=_nd0 out=r5 .names _nd1 0 .names _nd2 0 .subckt maxone8 R6 x1=a68 x2=a57 x3=a46 x4=a35 x5=a24 x6=a13 x7=_nd1 x8=_nd2 out=r6 .names _nd3 0 .subckt maxone8 R7 x1=a78 x2=a67 x3=a56 x4=a45 x5=a34 x6=a23 x7=a12 x8=_nd3 out=r7 .subckt maxone8 R8 x1=a88 x2=a77 x3=a66 x4=a55 x5=a44 x6=a33 x7=a23 x8=a11 out=r8 .names _nd4 0 .subckt maxone8 R9 x1=a87 x2=a76 x3=a65 x4=a54 x5=a43 x6=a32 x7=a21 x8=_nd4 out=r9 .names _nd5 0 .names _nd6 0 .subckt maxone8 R10 x1=a86 x2=a75 x3=a64 x4=a53 x5=a42 x6=a31 x7=_nd5 x8=_nd6 out=r10 .names _nd7 0 .names _nd8 0 .names _nd9 0 .subckt maxone8 R11 x1=a85 x2=a74 x3=a63 x4=a52 x5=a41 x6=_nd7 x7=_nd8 x8=_nd9 out=r11 .names _nda 0 .names _ndb 0 .names _ndc 0 .names _ndd 0 .subckt maxone8 R12 x1=a84 x2=a73 x3=a62 x4=a51 x5=_nda x6=_ndb x7=_ndc x8=_ndd out=r12 .names _nde 0 .names _ndf 0 .names _ne0 0 .names _ne1 0 .names _ne2 0 .subckt maxone8 R13 x1=a83 x2=a72 x3=a61 x4=_nde x5=_ndf x6=_ne0 x7=_ne1 x8=_ne2 out=r13 .names _ne3 0 .names _ne4 0 .names _ne5 0 .names _ne6 0 .names _ne7 0 .names _ne8 0 .subckt maxone8 R14 x1=a82 x2=a71 x3=_ne3 x4=_ne4 x5=_ne5 x6=_ne6 x7=_ne7 x8=_ne8 out=r14 .names _ne9 0 .names _nea 0 .names _neb 0 .names _nec 0 .names _ned 0 .names _nee 0 .names _nef 0 .subckt maxone8 R15 x1=a81 x2=_ne9 x3=_nea x4=_neb x5=_nec x6=_ned x7=_nee x8=_nef out=r15 # assign tmp1 = (h1 && h2 && h3 && h4 && h5 && h6 && h7 && h8 ) # h1 && h2 .names h1 h2 _nf1 .def 0 1 1 1 # h1 && h2 && h3 .names _nf1 h3 _nf2 .def 0 1 1 1 # h1 && h2 && h3 && h4 .names _nf2 h4 _nf3 .def 0 1 1 1 # h1 && h2 && h3 && h4 && h5 .names _nf3 h5 _nf4 .def 0 1 1 1 # h1 && h2 && h3 && h4 && h5 && h6 .names _nf4 h6 _nf5 .def 0 1 1 1 # h1 && h2 && h3 && h4 && h5 && h6 && h7 .names _nf5 h7 _nf6 .def 0 1 1 1 # h1 && h2 && h3 && h4 && h5 && h6 && h7 && h8 .names _nf6 h8 _nf7 .def 0 1 1 1 .names _nf7 tmp1$raw_nf0 - =_nf7 # assign tmp2 = (v1 && v2 && v3 && v4 && v5 && v6 && v7 && v8 ) # v1 && v2 .names v1 v2 _nf9 .def 0 1 1 1 # v1 && v2 && v3 .names _nf9 v3 _nfa .def 0 1 1 1 # v1 && v2 && v3 && v4 .names _nfa v4 _nfb .def 0 1 1 1 # v1 && v2 && v3 && v4 && v5 .names _nfb v5 _nfc .def 0 1 1 1 # v1 && v2 && v3 && v4 && v5 && v6 .names _nfc v6 _nfd .def 0 1 1 1 # v1 && v2 && v3 && v4 && v5 && v6 && v7 .names _nfd v7 _nfe .def 0 1 1 1 # v1 && v2 && v3 && v4 && v5 && v6 && v7 && v8 .names _nfe v8 _nff .def 0 1 1 1 .names _nff tmp2$raw_nf8 - =_nff # assign tmp3 = (l1 && l2 && l3 && l4 && l5 && l6 && l7 && l8 ) # l1 && l2 .names l1 l2 _n101 .def 0 1 1 1 # l1 && l2 && l3 .names _n101 l3 _n102 .def 0 1 1 1 # l1 && l2 && l3 && l4 .names _n102 l4 _n103 .def 0 1 1 1 # l1 && l2 && l3 && l4 && l5 .names _n103 l5 _n104 .def 0 1 1 1 # l1 && l2 && l3 && l4 && l5 && l6 .names _n104 l6 _n105 .def 0 1 1 1 # l1 && l2 && l3 && l4 && l5 && l6 && l7 .names _n105 l7 _n106 .def 0 1 1 1 # l1 && l2 && l3 && l4 && l5 && l6 && l7 && l8 .names _n106 l8 _n107 .def 0 1 1 1 .names _n107 tmp3$raw_n100 - =_n107 # assign tmp4 = (r1 && r2 && r3 && r4 && r5 && r6 && r7 && r8 ) # r1 && r2 .names r1 r2 _n109 .def 0 1 1 1 # r1 && r2 && r3 .names _n109 r3 _n10a .def 0 1 1 1 # r1 && r2 && r3 && r4 .names _n10a r4 _n10b .def 0 1 1 1 # r1 && r2 && r3 && r4 && r5 .names _n10b r5 _n10c .def 0 1 1 1 # r1 && r2 && r3 && r4 && r5 && r6 .names _n10c r6 _n10d .def 0 1 1 1 # r1 && r2 && r3 && r4 && r5 && r6 && r7 .names _n10d r7 _n10e .def 0 1 1 1 # r1 && r2 && r3 && r4 && r5 && r6 && r7 && r8 .names _n10e r8 _n10f .def 0 1 1 1 .names _n10f tmp4$raw_n108 - =_n10f # assign tmp5 = (l9 && l10 && l11 && l12 && l13 && l14 && l15 ) # l9 && l10 .names l9 l10 _n111 .def 0 1 1 1 # l9 && l10 && l11 .names _n111 l11 _n112 .def 0 1 1 1 # l9 && l10 && l11 && l12 .names _n112 l12 _n113 .def 0 1 1 1 # l9 && l10 && l11 && l12 && l13 .names _n113 l13 _n114 .def 0 1 1 1 # l9 && l10 && l11 && l12 && l13 && l14 .names _n114 l14 _n115 .def 0 1 1 1 # l9 && l10 && l11 && l12 && l13 && l14 && l15 .names _n115 l15 _n116 .def 0 1 1 1 .names _n116 tmp5$raw_n110 - =_n116 # assign tmp6 = (r9 && r10 && r11 && r12 && r13 && r14 && r15 ) # r9 && r10 .names r9 r10 _n118 .def 0 1 1 1 # r9 && r10 && r11 .names _n118 r11 _n119 .def 0 1 1 1 # r9 && r10 && r11 && r12 .names _n119 r12 _n11a .def 0 1 1 1 # r9 && r10 && r11 && r12 && r13 .names _n11a r13 _n11b .def 0 1 1 1 # r9 && r10 && r11 && r12 && r13 && r14 .names _n11b r14 _n11c .def 0 1 1 1 # r9 && r10 && r11 && r12 && r13 && r14 && r15 .names _n11c r15 _n11d .def 0 1 1 1 .names _n11d tmp6$raw_n117 - =_n11d # assign consistent = (tmp1 && tmp2 && tmp3 && tmp4 && tmp5 && tmp6 ) # tmp1 && tmp2 .names tmp1 tmp2 _n11f .def 0 1 1 1 # tmp1 && tmp2 && tmp3 .names _n11f tmp3 _n120 .def 0 1 1 1 # tmp1 && tmp2 && tmp3 && tmp4 .names _n120 tmp4 _n121 .def 0 1 1 1 # tmp1 && tmp2 && tmp3 && tmp4 && tmp5 .names _n121 tmp5 _n122 .def 0 1 1 1 # tmp1 && tmp2 && tmp3 && tmp4 && tmp5 && tmp6 .names _n122 tmp6 _n123 .def 0 1 1 1 .names _n123 consistent$raw_n11e - =_n123 # conflict arbitrators .names tmp6$raw_n117 tmp6 0 0 1 1 .names tmp5$raw_n110 tmp5 0 0 1 1 .names tmp4$raw_n108 tmp4 0 0 1 1 .names tmp3$raw_n100 tmp3 0 0 1 1 .names tmp2$raw_nf8 tmp2 0 0 1 1 .names tmp1$raw_nf0 tmp1 0 0 1 1 .names consistent$raw_n11e consistent 0 0 1 1 # non-blocking assignments # latches # quasi-continuous assignment .end .model single8 # I/O ports .inputs x3 .inputs x4 .inputs x5 .inputs x6 .inputs x7 .outputs out .inputs x8 .inputs x1 .inputs x2 # assign tmp1 = (x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x2 _n125 0 1 1 0 # x1 && !x2 .names x1 _n125 _n126 .def 0 1 1 1 .names x3 _n127 0 1 1 0 # x1 && !x2 && !x3 .names _n126 _n127 _n128 .def 0 1 1 1 .names x4 _n129 0 1 1 0 # x1 && !x2 && !x3 && !x4 .names _n128 _n129 _n12a .def 0 1 1 1 .names x5 _n12b 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 .names _n12a _n12b _n12c .def 0 1 1 1 .names x6 _n12d 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n12c _n12d _n12e .def 0 1 1 1 .names x7 _n12f 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n12e _n12f _n130 .def 0 1 1 1 .names x8 _n131 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n130 _n131 _n132 .def 0 1 1 1 .names _n132 tmp1$raw_n124 - =_n132 # assign tmp2 = (!x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n134 0 1 1 0 # !x1 && x2 .names _n134 x2 _n135 .def 0 1 1 1 .names x3 _n136 0 1 1 0 # !x1 && x2 && !x3 .names _n135 _n136 _n137 .def 0 1 1 1 .names x4 _n138 0 1 1 0 # !x1 && x2 && !x3 && !x4 .names _n137 _n138 _n139 .def 0 1 1 1 .names x5 _n13a 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 .names _n139 _n13a _n13b .def 0 1 1 1 .names x6 _n13c 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 .names _n13b _n13c _n13d .def 0 1 1 1 .names x7 _n13e 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n13d _n13e _n13f .def 0 1 1 1 .names x8 _n140 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n13f _n140 _n141 .def 0 1 1 1 .names _n141 tmp2$raw_n133 - =_n141 # assign tmp3 = (!x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n143 0 1 1 0 .names x2 _n144 0 1 1 0 # !x1 && !x2 .names _n143 _n144 _n145 .def 0 1 1 1 # !x1 && !x2 && x3 .names _n145 x3 _n146 .def 0 1 1 1 .names x4 _n147 0 1 1 0 # !x1 && !x2 && x3 && !x4 .names _n146 _n147 _n148 .def 0 1 1 1 .names x5 _n149 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 .names _n148 _n149 _n14a .def 0 1 1 1 .names x6 _n14b 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 .names _n14a _n14b _n14c .def 0 1 1 1 .names x7 _n14d 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 .names _n14c _n14d _n14e .def 0 1 1 1 .names x8 _n14f 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n14e _n14f _n150 .def 0 1 1 1 .names _n150 tmp3$raw_n142 - =_n150 # assign tmp4 = (!x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n152 0 1 1 0 .names x2 _n153 0 1 1 0 # !x1 && !x2 .names _n152 _n153 _n154 .def 0 1 1 1 .names x3 _n155 0 1 1 0 # !x1 && !x2 && !x3 .names _n154 _n155 _n156 .def 0 1 1 1 # !x1 && !x2 && !x3 && x4 .names _n156 x4 _n157 .def 0 1 1 1 .names x5 _n158 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 .names _n157 _n158 _n159 .def 0 1 1 1 .names x6 _n15a 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 .names _n159 _n15a _n15b .def 0 1 1 1 .names x7 _n15c 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 .names _n15b _n15c _n15d .def 0 1 1 1 .names x8 _n15e 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 && !x8 .names _n15d _n15e _n15f .def 0 1 1 1 .names _n15f tmp4$raw_n151 - =_n15f # assign tmp5 = (!x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 && !x8 ) .names x1 _n161 0 1 1 0 .names x2 _n162 0 1 1 0 # !x1 && !x2 .names _n161 _n162 _n163 .def 0 1 1 1 .names x3 _n164 0 1 1 0 # !x1 && !x2 && !x3 .names _n163 _n164 _n165 .def 0 1 1 1 .names x4 _n166 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n165 _n166 _n167 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && x5 .names _n167 x5 _n168 .def 0 1 1 1 .names x6 _n169 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 .names _n168 _n169 _n16a .def 0 1 1 1 .names x7 _n16b 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 .names _n16a _n16b _n16c .def 0 1 1 1 .names x8 _n16d 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 && !x8 .names _n16c _n16d _n16e .def 0 1 1 1 .names _n16e tmp5$raw_n160 - =_n16e # assign tmp6 = (!x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 && !x8 ) .names x1 _n170 0 1 1 0 .names x2 _n171 0 1 1 0 # !x1 && !x2 .names _n170 _n171 _n172 .def 0 1 1 1 .names x3 _n173 0 1 1 0 # !x1 && !x2 && !x3 .names _n172 _n173 _n174 .def 0 1 1 1 .names x4 _n175 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n174 _n175 _n176 .def 0 1 1 1 .names x5 _n177 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n176 _n177 _n178 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 .names _n178 x6 _n179 .def 0 1 1 1 .names x7 _n17a 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 .names _n179 _n17a _n17b .def 0 1 1 1 .names x8 _n17c 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 && !x8 .names _n17b _n17c _n17d .def 0 1 1 1 .names _n17d tmp6$raw_n16f - =_n17d # assign tmp7 = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 && !x8 ) .names x1 _n17f 0 1 1 0 .names x2 _n180 0 1 1 0 # !x1 && !x2 .names _n17f _n180 _n181 .def 0 1 1 1 .names x3 _n182 0 1 1 0 # !x1 && !x2 && !x3 .names _n181 _n182 _n183 .def 0 1 1 1 .names x4 _n184 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n183 _n184 _n185 .def 0 1 1 1 .names x5 _n186 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n185 _n186 _n187 .def 0 1 1 1 .names x6 _n188 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n187 _n188 _n189 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 .names _n189 x7 _n18a .def 0 1 1 1 .names x8 _n18b 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 && !x8 .names _n18a _n18b _n18c .def 0 1 1 1 .names _n18c tmp7$raw_n17e - =_n18c # assign tmp8 = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && x8 ) .names x1 _n18e 0 1 1 0 .names x2 _n18f 0 1 1 0 # !x1 && !x2 .names _n18e _n18f _n190 .def 0 1 1 1 .names x3 _n191 0 1 1 0 # !x1 && !x2 && !x3 .names _n190 _n191 _n192 .def 0 1 1 1 .names x4 _n193 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n192 _n193 _n194 .def 0 1 1 1 .names x5 _n195 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n194 _n195 _n196 .def 0 1 1 1 .names x6 _n197 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n196 _n197 _n198 .def 0 1 1 1 .names x7 _n199 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n198 _n199 _n19a .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && x8 .names _n19a x8 _n19b .def 0 1 1 1 .names _n19b tmp8$raw_n18d - =_n19b # assign out = (tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 || tmp8 ) # tmp1 || tmp2 .names tmp1 tmp2 _n19d .def 1 0 0 0 # tmp1 || tmp2 || tmp3 .names _n19d tmp3 _n19e .def 1 0 0 0 # tmp1 || tmp2 || tmp3 || tmp4 .names _n19e tmp4 _n19f .def 1 0 0 0 # tmp1 || tmp2 || tmp3 || tmp4 || tmp5 .names _n19f tmp5 _n1a0 .def 1 0 0 0 # tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 .names _n1a0 tmp6 _n1a1 .def 1 0 0 0 # tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 .names _n1a1 tmp7 _n1a2 .def 1 0 0 0 # tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 || tmp8 .names _n1a2 tmp8 _n1a3 .def 1 0 0 0 .names _n1a3 out$raw_n19c - =_n1a3 # conflict arbitrators .names tmp6$raw_n16f tmp6 0 0 1 1 .names tmp5$raw_n160 tmp5 0 0 1 1 .names tmp4$raw_n151 tmp4 0 0 1 1 .names tmp3$raw_n142 tmp3 0 0 1 1 .names tmp2$raw_n133 tmp2 0 0 1 1 .names tmp1$raw_n124 tmp1 0 0 1 1 .names out$raw_n19c out 0 0 1 1 .names tmp8$raw_n18d tmp8 0 0 1 1 .names tmp7$raw_n17e tmp7 0 0 1 1 # non-blocking assignments # latches # quasi-continuous assignment .end .model none8 # I/O ports .inputs x3 .inputs x4 .inputs x5 .inputs x6 .inputs x7 .outputs out .inputs x8 .inputs x1 .inputs x2 # assign out = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n1a5 0 1 1 0 .names x2 _n1a6 0 1 1 0 # !x1 && !x2 .names _n1a5 _n1a6 _n1a7 .def 0 1 1 1 .names x3 _n1a8 0 1 1 0 # !x1 && !x2 && !x3 .names _n1a7 _n1a8 _n1a9 .def 0 1 1 1 .names x4 _n1aa 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n1a9 _n1aa _n1ab .def 0 1 1 1 .names x5 _n1ac 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n1ab _n1ac _n1ad .def 0 1 1 1 .names x6 _n1ae 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n1ad _n1ae _n1af .def 0 1 1 1 .names x7 _n1b0 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n1af _n1b0 _n1b1 .def 0 1 1 1 .names x8 _n1b2 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n1b1 _n1b2 _n1b3 .def 0 1 1 1 .names _n1b3 out$raw_n1a4 - =_n1b3 # conflict arbitrators .names out$raw_n1a4 out 0 0 1 1 # non-blocking assignments # latches # quasi-continuous assignment .end .model maxone8 # I/O ports .inputs x3 .inputs x4 .inputs x5 .inputs x6 .inputs x7 .outputs out .inputs x8 .inputs x1 .inputs x2 # assign tmp0 = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n1b5 0 1 1 0 .names x2 _n1b6 0 1 1 0 # !x1 && !x2 .names _n1b5 _n1b6 _n1b7 .def 0 1 1 1 .names x3 _n1b8 0 1 1 0 # !x1 && !x2 && !x3 .names _n1b7 _n1b8 _n1b9 .def 0 1 1 1 .names x4 _n1ba 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n1b9 _n1ba _n1bb .def 0 1 1 1 .names x5 _n1bc 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n1bb _n1bc _n1bd .def 0 1 1 1 .names x6 _n1be 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n1bd _n1be _n1bf .def 0 1 1 1 .names x7 _n1c0 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n1bf _n1c0 _n1c1 .def 0 1 1 1 .names x8 _n1c2 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n1c1 _n1c2 _n1c3 .def 0 1 1 1 .names _n1c3 tmp0$raw_n1b4 - =_n1c3 # assign tmp1 = (x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x2 _n1c5 0 1 1 0 # x1 && !x2 .names x1 _n1c5 _n1c6 .def 0 1 1 1 .names x3 _n1c7 0 1 1 0 # x1 && !x2 && !x3 .names _n1c6 _n1c7 _n1c8 .def 0 1 1 1 .names x4 _n1c9 0 1 1 0 # x1 && !x2 && !x3 && !x4 .names _n1c8 _n1c9 _n1ca .def 0 1 1 1 .names x5 _n1cb 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 .names _n1ca _n1cb _n1cc .def 0 1 1 1 .names x6 _n1cd 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n1cc _n1cd _n1ce .def 0 1 1 1 .names x7 _n1cf 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n1ce _n1cf _n1d0 .def 0 1 1 1 .names x8 _n1d1 0 1 1 0 # x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n1d0 _n1d1 _n1d2 .def 0 1 1 1 .names _n1d2 tmp1$raw_n1c4 - =_n1d2 # assign tmp2 = (!x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n1d4 0 1 1 0 # !x1 && x2 .names _n1d4 x2 _n1d5 .def 0 1 1 1 .names x3 _n1d6 0 1 1 0 # !x1 && x2 && !x3 .names _n1d5 _n1d6 _n1d7 .def 0 1 1 1 .names x4 _n1d8 0 1 1 0 # !x1 && x2 && !x3 && !x4 .names _n1d7 _n1d8 _n1d9 .def 0 1 1 1 .names x5 _n1da 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 .names _n1d9 _n1da _n1db .def 0 1 1 1 .names x6 _n1dc 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 .names _n1db _n1dc _n1dd .def 0 1 1 1 .names x7 _n1de 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n1dd _n1de _n1df .def 0 1 1 1 .names x8 _n1e0 0 1 1 0 # !x1 && x2 && !x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n1df _n1e0 _n1e1 .def 0 1 1 1 .names _n1e1 tmp2$raw_n1d3 - =_n1e1 # assign tmp3 = (!x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n1e3 0 1 1 0 .names x2 _n1e4 0 1 1 0 # !x1 && !x2 .names _n1e3 _n1e4 _n1e5 .def 0 1 1 1 # !x1 && !x2 && x3 .names _n1e5 x3 _n1e6 .def 0 1 1 1 .names x4 _n1e7 0 1 1 0 # !x1 && !x2 && x3 && !x4 .names _n1e6 _n1e7 _n1e8 .def 0 1 1 1 .names x5 _n1e9 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 .names _n1e8 _n1e9 _n1ea .def 0 1 1 1 .names x6 _n1eb 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 .names _n1ea _n1eb _n1ec .def 0 1 1 1 .names x7 _n1ed 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 .names _n1ec _n1ed _n1ee .def 0 1 1 1 .names x8 _n1ef 0 1 1 0 # !x1 && !x2 && x3 && !x4 && !x5 && !x6 && !x7 && !x8 .names _n1ee _n1ef _n1f0 .def 0 1 1 1 .names _n1f0 tmp3$raw_n1e2 - =_n1f0 # assign tmp4 = (!x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 && !x8 ) .names x1 _n1f2 0 1 1 0 .names x2 _n1f3 0 1 1 0 # !x1 && !x2 .names _n1f2 _n1f3 _n1f4 .def 0 1 1 1 .names x3 _n1f5 0 1 1 0 # !x1 && !x2 && !x3 .names _n1f4 _n1f5 _n1f6 .def 0 1 1 1 # !x1 && !x2 && !x3 && x4 .names _n1f6 x4 _n1f7 .def 0 1 1 1 .names x5 _n1f8 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 .names _n1f7 _n1f8 _n1f9 .def 0 1 1 1 .names x6 _n1fa 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 .names _n1f9 _n1fa _n1fb .def 0 1 1 1 .names x7 _n1fc 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 .names _n1fb _n1fc _n1fd .def 0 1 1 1 .names x8 _n1fe 0 1 1 0 # !x1 && !x2 && !x3 && x4 && !x5 && !x6 && !x7 && !x8 .names _n1fd _n1fe _n1ff .def 0 1 1 1 .names _n1ff tmp4$raw_n1f1 - =_n1ff # assign tmp5 = (!x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 && !x8 ) .names x1 _n201 0 1 1 0 .names x2 _n202 0 1 1 0 # !x1 && !x2 .names _n201 _n202 _n203 .def 0 1 1 1 .names x3 _n204 0 1 1 0 # !x1 && !x2 && !x3 .names _n203 _n204 _n205 .def 0 1 1 1 .names x4 _n206 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n205 _n206 _n207 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && x5 .names _n207 x5 _n208 .def 0 1 1 1 .names x6 _n209 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 .names _n208 _n209 _n20a .def 0 1 1 1 .names x7 _n20b 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 .names _n20a _n20b _n20c .def 0 1 1 1 .names x8 _n20d 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && x5 && !x6 && !x7 && !x8 .names _n20c _n20d _n20e .def 0 1 1 1 .names _n20e tmp5$raw_n200 - =_n20e # assign tmp6 = (!x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 && !x8 ) .names x1 _n210 0 1 1 0 .names x2 _n211 0 1 1 0 # !x1 && !x2 .names _n210 _n211 _n212 .def 0 1 1 1 .names x3 _n213 0 1 1 0 # !x1 && !x2 && !x3 .names _n212 _n213 _n214 .def 0 1 1 1 .names x4 _n215 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n214 _n215 _n216 .def 0 1 1 1 .names x5 _n217 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n216 _n217 _n218 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 .names _n218 x6 _n219 .def 0 1 1 1 .names x7 _n21a 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 .names _n219 _n21a _n21b .def 0 1 1 1 .names x8 _n21c 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && x6 && !x7 && !x8 .names _n21b _n21c _n21d .def 0 1 1 1 .names _n21d tmp6$raw_n20f - =_n21d # assign tmp7 = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 && !x8 ) .names x1 _n21f 0 1 1 0 .names x2 _n220 0 1 1 0 # !x1 && !x2 .names _n21f _n220 _n221 .def 0 1 1 1 .names x3 _n222 0 1 1 0 # !x1 && !x2 && !x3 .names _n221 _n222 _n223 .def 0 1 1 1 .names x4 _n224 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n223 _n224 _n225 .def 0 1 1 1 .names x5 _n226 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n225 _n226 _n227 .def 0 1 1 1 .names x6 _n228 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n227 _n228 _n229 .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 .names _n229 x7 _n22a .def 0 1 1 1 .names x8 _n22b 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && x7 && !x8 .names _n22a _n22b _n22c .def 0 1 1 1 .names _n22c tmp7$raw_n21e - =_n22c # assign tmp8 = (!x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && x8 ) .names x1 _n22e 0 1 1 0 .names x2 _n22f 0 1 1 0 # !x1 && !x2 .names _n22e _n22f _n230 .def 0 1 1 1 .names x3 _n231 0 1 1 0 # !x1 && !x2 && !x3 .names _n230 _n231 _n232 .def 0 1 1 1 .names x4 _n233 0 1 1 0 # !x1 && !x2 && !x3 && !x4 .names _n232 _n233 _n234 .def 0 1 1 1 .names x5 _n235 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 .names _n234 _n235 _n236 .def 0 1 1 1 .names x6 _n237 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 .names _n236 _n237 _n238 .def 0 1 1 1 .names x7 _n239 0 1 1 0 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 .names _n238 _n239 _n23a .def 0 1 1 1 # !x1 && !x2 && !x3 && !x4 && !x5 && !x6 && !x7 && x8 .names _n23a x8 _n23b .def 0 1 1 1 .names _n23b tmp8$raw_n22d - =_n23b # assign out = (tmp0 || tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 || tmp8 ) # tmp0 || tmp1 .names tmp0 tmp1 _n23d .def 1 0 0 0 # tmp0 || tmp1 || tmp2 .names _n23d tmp2 _n23e .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 .names _n23e tmp3 _n23f .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 || tmp4 .names _n23f tmp4 _n240 .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 || tmp4 || tmp5 .names _n240 tmp5 _n241 .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 .names _n241 tmp6 _n242 .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 .names _n242 tmp7 _n243 .def 1 0 0 0 # tmp0 || tmp1 || tmp2 || tmp3 || tmp4 || tmp5 || tmp6 || tmp7 || tmp8 .names _n243 tmp8 _n244 .def 1 0 0 0 .names _n244 out$raw_n23c - =_n244 # conflict arbitrators .names tmp6$raw_n20f tmp6 0 0 1 1 .names tmp5$raw_n200 tmp5 0 0 1 1 .names tmp4$raw_n1f1 tmp4 0 0 1 1 .names tmp3$raw_n1e2 tmp3 0 0 1 1 .names tmp2$raw_n1d3 tmp2 0 0 1 1 .names tmp1$raw_n1c4 tmp1 0 0 1 1 .names out$raw_n23c out 0 0 1 1 .names tmp0$raw_n1b4 tmp0 0 0 1 1 .names tmp8$raw_n22d tmp8 0 0 1 1 .names tmp7$raw_n21e tmp7 0 0 1 1 # non-blocking assignments # latches # quasi-continuous assignment .end