| .model top |
| .inputs mark1_in_0_ mark1_in_2_ mark1_in_1_ mark1_in_4_ mark1_in_3_ clock |
| .outputs mark1_out_15_ mark1_out_14_ mark1_out_13_ mark1_out_12_ mark1_out_11_ \ |
| mark1_out_9_ mark1_out_7_ mark1_out_8_ mark1_out_5_ mark1_out_6_ mark1_out_3_ \ |
| mark1_out_4_ mark1_out_1_ mark1_out_2_ mark1_out_10_ mark1_out_0_ |
| .latch n_n54 mark1_out_8_ re clock 2 |
| .latch n_n55 n_n92 re clock 2 |
| .latch n_n56 n_n93 re clock 2 |
| .latch n_n57 n_n94 re clock 2 |
| .names n_n94 mark1_out_15_ |
| 0 1 |
| .names [27] [193] mark1_out_14_ |
| 1- 1 |
| -1 1 |
| .names [195] [196] mark1_out_13_ |
| 1- 1 |
| -1 1 |
| .names mark1_out_8_ n_n92 mark1_out_12_ |
| 10 1 |
| .names [197] [198] mark1_out_9_ |
| 1- 1 |
| -1 1 |
| .names [199] [200] mark1_out_7_ |
| 11 1 |
| .names mark1_out_1_ [201] mark1_out_6_ |
| 11 1 |
| .names mark1_out_3_ |
| .names mark1_out_4_ |
| .names n_n92 n_n93 mark1_out_1_ |
| 01 1 |
| .names n_n93 mark1_out_2_ |
| 0 1 |
| .names mark1_out_10_ |
| 1 |
| .names n_n92 mark1_out_0_ |
| 0 1 |
| .names mark1_in_4_ [41] n_n54 |
| 11 1 |
| .names mark1_in_4_ [44] n_n55 |
| 11 1 |
| .names mark1_in_4_ [38] n_n56 |
| 11 1 |
| .names mark1_in_4_ [35] n_n57 |
| 11 1 |
| .names [32] [192] [35] |
| 1- 1 |
| -1 1 |
| .names [189] [190] [38] |
| 1- 1 |
| -1 1 |
| .names [63] [184] [41] |
| 1- 1 |
| -1 1 |
| .names [57] [186] [44] |
| 1- 1 |
| -1 1 |
| .names mark1_out_8_ n_n93 [46] |
| 0- 1 |
| -1 1 |
| .names n_n93 [55] [26] |
| 0- 1 |
| -1 1 |
| .names mark1_out_8_ n_n92 [34] |
| 11 1 |
| .names mark1_in_2_ mark1_in_1_ [37] |
| 0- 1 |
| -0 1 |
| .names n_n92 n_n93 [36] |
| 0- 1 |
| -0 1 |
| .names [52] [188] [40] |
| 1- 1 |
| -1 1 |
| .names n_n94 [50] [39] |
| 1- 1 |
| -1 1 |
| .names n_n93 [66] [42] |
| 1- 1 |
| -1 1 |
| .names [68] [69] [43] |
| 1- 1 |
| -1 1 |
| .names n_n94 [61] [45] |
| 1- 1 |
| -1 1 |
| .names n_n92 mark1_out_11_ |
| 1 1 |
| .names n_n92 mark1_out_5_ |
| 1 1 |
| .names n_n92 [46] [27] |
| 11 1 |
| .names n_n93 n_n94 [28] |
| 00 1 |
| .names [37] [191] [30] |
| 11 1 |
| .names n_n94 [36] [31] |
| 11 1 |
| .names [26] [34] [32] |
| 11 1 |
| .names mark1_out_8_ [39] [33] |
| 01 1 |
| .names n_n93 [40] [47] |
| 01 1 |
| .names mark1_out_8_ [26] [48] |
| 11 1 |
| .names n_n92 n_n93 [50] |
| 11 1 |
| .names mark1_in_1_ [187] [52] |
| 11 1 |
| .names mark1_in_2_ mark1_in_1_ [53] |
| 00 1 |
| .names mark1_in_3_ n_n94 [55] |
| 10 1 |
| .names n_n93 [45] [57] |
| 01 1 |
| .names n_n93 n_n94 [58] |
| 10 1 |
| .names mark1_in_1_ n_n92 [61] |
| 11 1 |
| .names [42] [183] [63] |
| 11 1 |
| .names n_n93 [34] [64] |
| 11 1 |
| .names mark1_out_12_ n_n93 [65] |
| 10 1 |
| .names mark1_out_8_ [43] [66] |
| 01 1 |
| .names mark1_in_1_ [182] [68] |
| 11 1 |
| .names mark1_in_0_ mark1_in_2_ [69] |
| 00 1 |
| .names mark1_in_2_ mark1_in_0_ [182] |
| 11 1 |
| .names n_n94 n_n92 [183] |
| 01 1 |
| .names [65] [64] [184] |
| 1- 1 |
| -1 1 |
| .names [34] mark1_out_1_ [185] |
| 1- 1 |
| -1 1 |
| .names [185] [58] [186] |
| 1- 1 |
| -1 1 |
| .names mark1_in_2_ mark1_in_0_ [187] |
| 10 1 |
| .names [53] n_n92 [188] |
| 1- 1 |
| -0 1 |
| .names [33] mark1_out_12_ [189] |
| 1- 1 |
| -1 1 |
| .names [47] [48] [190] |
| 1- 1 |
| -1 1 |
| .names n_n93 n_n92 [191] |
| 01 1 |
| .names [31] [30] [192] |
| 1- 1 |
| -1 1 |
| .names [28] mark1_in_4_ [193] |
| 1- 1 |
| -0 1 |
| .names mark1_out_8_ mark1_in_4_ [194] |
| 1- 1 |
| -0 1 |
| .names n_n93 n_n92 [195] |
| 1- 1 |
| -0 1 |
| .names [194] n_n94 [196] |
| 1- 1 |
| -0 1 |
| .names n_n93 mark1_in_4_ [197] |
| 0- 1 |
| -0 1 |
| .names mark1_out_12_ n_n94 [198] |
| 1- 1 |
| -0 1 |
| .names n_n92 mark1_in_4_ [199] |
| 01 1 |
| .names n_n94 n_n93 [200] |
| 10 1 |
| .names n_n94 mark1_in_4_ [201] |
| 01 1 |
| .end |