| .model top |
| .inputs beecount_in_0_ beecount_in_1_ beecount_in_2_ clock |
| .outputs beecount_out_0_ beecount_out_1_ beecount_out_2_ beecount_out_3_ |
| .latch n_n25 n_n50 re clock 2 |
| .latch n_n26 n_n51 re clock 2 |
| .latch n_n27 n_n52 re clock 2 |
| .names beecount_in_0_ [17] [109] beecount_out_0_ |
| 01- 1 |
| 0-0 1 |
| .names beecount_in_0_ [17] [109] beecount_out_1_ |
| 1-- 1 |
| -01 1 |
| .names beecount_in_0_ [27] beecount_out_2_ |
| 01 1 |
| .names beecount_in_0_ [27] beecount_out_3_ |
| 1- 1 |
| -0 1 |
| .names [35] [102] [103] n_n25 |
| 1-1 1 |
| -11 1 |
| .names beecount_in_0_ [23] n_n26 |
| 01 1 |
| .names beecount_in_0_ [14] [108] n_n27 |
| 01- 1 |
| 0-1 1 |
| .names n_n52 [24] [28] [23] |
| --1 1 |
| 11- 1 |
| .names beecount_in_2_ n_n51 n_n52 [27] |
| 1-- 1 |
| -0- 1 |
| --0 1 |
| .names n_n50 n_n51 [17] |
| 1- 1 |
| -1 1 |
| .names beecount_in_2_ n_n51 n_n52 [22] |
| 11- 1 |
| 0-1 1 |
| .names beecount_in_2_ n_n50 [25] [24] |
| 01- 1 |
| 1-1 1 |
| .names beecount_in_1_ n_n50 n_n51 [25] |
| 0-- 1 |
| -00 1 |
| .names beecount_in_1_ n_n50 [22] [14] |
| 101 1 |
| .names beecount_in_2_ n_n50 n_n51 [16] |
| 011 1 |
| .names beecount_in_2_ n_n50 [104] [28] |
| 111 1 |
| 001 1 |
| .names n_n50 n_n51 [35] |
| 11 1 |
| .names beecount_in_1_ n_n51 n_n52 [102] |
| 1-- 1 |
| -00 1 |
| .names beecount_in_2_ beecount_in_0_ [103] |
| 10 1 |
| .names n_n52 beecount_in_1_ [104] |
| 01 1 |
| .names n_n52 beecount_in_2_ [106] |
| 11 1 |
| .names [17] [16] [106] [108] |
| -1- 1 |
| 1-1 1 |
| .names n_n52 beecount_in_1_ [109] |
| 10 1 |
| .end |