jiaotongdeng.map.eqn

用Verilog HDL语言编写的交通灯程序

B1_count[14] = DFFE(B1_count[14]_reg_input, GLOBAL(CLK), , , );


--B1_count[15] is jiaotongdeng:inst|count[15]
B1_count[15]_p1_out = B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[15]_or_out = B1_count[15];
B1_count[15]_reg_input = B1_count[15]_p1_out $ B1_count[15]_or_out;
B1_count[15] = DFFE(B1_count[15]_reg_input, GLOBAL(CLK), , , );


--B1_count[16] is jiaotongdeng:inst|count[16]
B1_count[16]_p1_out = B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[16]_or_out = B1_count[16]_p1_out;
B1_count[16]_reg_input = B1_count[16]_or_out;
B1_count[16] = TFFE(B1_count[16]_reg_input, GLOBAL(CLK), , , );


--B1_count[17] is jiaotongdeng:inst|count[17]
B1_count[17]_p1_out = B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[17]_or_out = B1_count[17];
B1_count[17]_reg_input = B1_count[17]_p1_out $ B1_count[17]_or_out;
B1_count[17] = DFFE(B1_count[17]_reg_input, GLOBAL(CLK), , , );


--B1_count[18] is jiaotongdeng:inst|count[18]
B1_count[18]_p1_out = B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[18]_or_out = B1_count[18];
B1_count[18]_reg_input = B1_count[18]_p1_out $ B1_count[18]_or_out;
B1_count[18] = DFFE(B1_count[18]_reg_input, GLOBAL(CLK), , , );


--B1_count[19] is jiaotongdeng:inst|count[19]
B1_count[19]_p1_out = B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[19]_or_out = B1_count[19];
B1_count[19]_reg_input = B1_count[19]_p1_out $ B1_count[19]_or_out;
B1_count[19] = DFFE(B1_count[19]_reg_input, GLOBAL(CLK), , , );


--B1_count[20] is jiaotongdeng:inst|count[20]
B1_count[20]_p1_out = B1_count[19] & B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[20]_or_out = B1_count[20];
B1_count[20]_reg_input = B1_count[20]_p1_out $ B1_count[20]_or_out;
B1_count[20] = DFFE(B1_count[20]_reg_input, GLOBAL(CLK), , , );


--B1_count[21] is jiaotongdeng:inst|count[21]
B1_count[21]_p1_out = B1_count[20] & B1_count[19] & B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[21]_or_out = B1_count[21];
B1_count[21]_reg_input = B1_count[21]_p1_out $ B1_count[21]_or_out;
B1_count[21] = DFFE(B1_count[21]_reg_input, GLOBAL(CLK), , , );


--B1_count[22] is jiaotongdeng:inst|count[22]
B1_count[22]_p1_out = B1_count[21] & B1_count[20] & B1_count[19] & B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[22]_or_out = B1_count[22];
B1_count[22]_reg_input = B1_count[22]_p1_out $ B1_count[22]_or_out;
B1_count[22] = DFFE(B1_count[22]_reg_input, GLOBAL(CLK), , , );


--B1_count[23] is jiaotongdeng:inst|count[23]
B1_count[23]_p1_out = B1_count[22] & B1_count[21] & B1_count[20] & B1_count[19] & B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[23]_or_out = B1_count[23];
B1_count[23]_reg_input = B1_count[23]_p1_out $ B1_count[23]_or_out;
B1_count[23] = DFFE(B1_count[23]_reg_input, GLOBAL(CLK), , , );


--B1_count[24] is jiaotongdeng:inst|count[24]
B1_count[24]_p1_out = B1_count[23] & B1_count[22] & B1_count[21] & B1_count[20] & B1_count[19] & B1_count[18] & B1_count[17] & B1_count[16] & B1_count[15] & B1_count[14] & B1_count[13] & B1_count[12] & B1_count[11] & B1_count[10] & B1_count[9] & B1_count[8] & B1_count[7] & B1_count[6] & B1_count[5] & B1_count[4] & B1_count[3] & B1_count[2] & J1_dffs[0] & B1_count[1];
B1_count[24]_or_out = B1_count[24]_p1_out;
B1_count[24]_reg_input = B1_count[24]_or_out;
B1_count[24] = TFFE(B1_count[24]_reg_input, GLOBAL(CLK), , , );


--B1_CLK2 is jiaotongdeng:inst|CLK2
B1_CLK2_reg_input = VCC;
B1_CLK2_p3_out = J1_dffs[0] & !B1_count[24] & !B1_count[23] & !B1_count[22] & !B1_count[21] & !B1_count[20] & !B1_count[19] & !B1_count[18] & !B1_count[17] & !B1_count[16] & !B1_count[15] & !B1_count[14] & !B1_count[13] & !B1_count[12] & !B1_count[11] & !B1_count[10] & !B1_count[9] & !B1_count[8] & !B1_count[7] & !B1_count[6] & !B1_count[5] & B1_count[4] & B1_count[3] & !B1_count[2] & !B1_count[1] & !B1_count[25];
B1_CLK2 = TFFE(B1_CLK2_reg_input, GLOBAL(CLK), , , B1_CLK2_p3_out);


--B1_temp is jiaotongdeng:inst|temp
B1_temp_p1_out = B1_temp & !B1_count_down[7] & !B1_count_down[6] & !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0];
B1_temp_or_out = B1_temp_p1_out # !GLOBAL(ST);
B1_temp_reg_input = !(B1_temp_or_out);
B1_temp = DFFE(B1_temp_reg_input, B1_CLK2, , , );


--B1_count_down[0] is jiaotongdeng:inst|count_down[0]
B1_count_down[0]_p0_out = !GLOBAL(ST) & !B1_count_down[0];
B1_count_down[0]_p1_out = !B1L50Q & !B1L49Q & GLOBAL(ST) & !B1_temp;
B1_count_down[0]_p2_out = B1_temp & !B1_count_down[7] & !B1_count_down[6] & !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0];
B1_count_down[0]_p4_out = GLOBAL(ST) & B1_temp & B1_count_down[0];
B1_count_down[0]_or_out = B1_count_down[0]_p0_out # B1_count_down[0]_p1_out # B1_count_down[0]_p2_out # B1_count_down[0]_p4_out;
B1_count_down[0]_reg_input = !(B1_count_down[0]_or_out);
B1_count_down[0] = DFFE(B1_count_down[0]_reg_input, B1_CLK2, , , );


--B1_count_down[1] is jiaotongdeng:inst|count_down[1]
B1_count_down[1]_p0_out = B1_count_down[1] & !GLOBAL(ST);
B1_count_down[1]_p1_out = B1_count_down[3] & !B1_count_down[0] & B1_temp & !B1_count_down[1] & GLOBAL(ST);
B1_count_down[1]_p2_out = !B1_count_down[0] & B1_temp & !B1_count_down[1] & GLOBAL(ST) & B1_count_down[2];
B1_count_down[1]_p4_out = B1_count_down[0] & B1_temp & B1_count_down[1];
B1_count_down[1]_or_out = B1_count_down[1]_p0_out # B1_count_down[1]_p1_out # B1_count_down[1]_p2_out # B1_count_down[1]_p4_out;
B1_count_down[1]_reg_input = B1_count_down[1]_or_out;
B1_count_down[1] = DFFE(B1_count_down[1]_reg_input, B1_CLK2, , , );


--B1_count_down[2] is jiaotongdeng:inst|count_down[2]
B1_count_down[2]_p0_out = B1_temp & GLOBAL(ST) & B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0];
B1_count_down[2]_p1_out = B1L49Q & !B1_temp & GLOBAL(ST) & !B1_count_down[2];
B1_count_down[2]_p2_out = B1_temp & GLOBAL(ST) & B1_count_down[3] & !B1_count_down[1] & !B1_count_down[0];
B1_count_down[2]_p4_out = !B1L49Q & !B1_temp & GLOBAL(ST) & B1_count_down[2] & !B1L50Q;
B1_count_down[2]_or_out = B1L33 # B1_count_down[2]_p0_out # B1_count_down[2]_p1_out # B1_count_down[2]_p2_out # B1_count_down[2]_p4_out;
B1_count_down[2]_reg_input = B1_count_down[2]_or_out;
B1_count_down[2] = TFFE(B1_count_down[2]_reg_input, B1_CLK2, , , );


--B1_count_down[3] is jiaotongdeng:inst|count_down[3]
B1_count_down[3]_p0_out = !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_count_down[3];
B1_count_down[3]_p1_out = B1_count_down[5] & B1_temp & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST);
B1_count_down[3]_p2_out = B1_temp & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_count_down[4];
B1_count_down[3]_p4_out = !B1_temp & GLOBAL(ST) & B1_count_down[3];
B1_count_down[3]_or_out = B1L35 # B1_count_down[3]_p0_out # B1_count_down[3]_p1_out # B1_count_down[3]_p2_out # B1_count_down[3]_p4_out;
B1_count_down[3]_reg_input = B1_count_down[3]_or_out;
B1_count_down[3] = TFFE(B1_count_down[3]_reg_input, B1_CLK2, , , );


--B1_count_down[4] is jiaotongdeng:inst|count_down[4]
B1_count_down[4]_p0_out = GLOBAL(ST) & B1L49Q & !B1_temp & B1_count_down[4];
B1_count_down[4]_p1_out = B1L51Q & GLOBAL(ST) & !B1L49Q & !B1_temp & !B1_count_down[4];
B1_count_down[4]_p2_out = GLOBAL(ST) & B1_temp & B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0];
B1_count_down[4]_p4_out = !B1L51Q & GLOBAL(ST) & !B1_temp & B1_count_down[4] & !B1L50Q;
B1_count_down[4]_or_out = B1L37 # B1_count_down[4]_p0_out # B1_count_down[4]_p1_out # B1_count_down[4]_p2_out # B1_count_down[4]_p4_out;
B1_count_down[4]_reg_input = B1_count_down[4]_or_out;
B1_count_down[4] = TFFE(B1_count_down[4]_reg_input, B1_CLK2, , , );


--B1_count_down[5] is jiaotongdeng:inst|count_down[5]
B1_count_down[5]_p0_out = GLOBAL(ST) & !B1_temp & B1_count_down[5] & B1L49Q;
B1_count_down[5]_p1_out = !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp & B1_count_down[5];
B1_count_down[5]_p2_out = GLOBAL(ST) & !B1_temp & B1_count_down[5] & B1L50Q;
B1_count_down[5]_p4_out = GLOBAL(ST) & !B1_temp & B1_count_down[5] & !B1L51Q;
B1_count_down[5]_or_out = B1L39 # B1_count_down[5]_p0_out # B1_count_down[5]_p1_out # B1_count_down[5]_p2_out # B1_count_down[5]_p4_out;
B1_count_down[5]_reg_input = B1_count_down[5]_or_out;
B1_count_down[5] = TFFE(B1_count_down[5]_reg_input, B1_CLK2, , , );


--B1_count_down[6] is jiaotongdeng:inst|count_down[6]
B1_count_down[6]_p0_out = GLOBAL(ST) & !B1_temp & B1_count_down[6] & B1L49Q;
B1_count_down[6]_p1_out = !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp & B1_count_down[6];
B1_count_down[6]_p2_out = GLOBAL(ST) & !B1_temp & B1_count_down[6] & B1L50Q;
B1_count_down[6]_p4_out = GLOBAL(ST) & !B1_temp & B1_count_down[6] & B1L51Q;
B1_count_down[6]_or_out = B1L41 # B1_count_down[6]_p0_out # B1_count_down[6]_p1_out # B1_count_down[6]_p2_out # B1_count_down[6]_p4_out;
B1_count_down[6]_reg_input = B1_count_down[6]_or_out;
B1_count_down[6] = TFFE(B1_count_down[6]_reg_input, B1_CLK2, , , );


--B1_count_down[7] is jiaotongdeng:inst|count_down[7]
B1_count_down[7]_p1_out = !B1_count_down[6] & !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_count_down[7];
B1_count_down[7]_p2_out = GLOBAL(ST) & B1_count_down[7] & !B1_temp;
B1_count_down[7]_or_out = B1_count_down[7]_p1_out # B1_count_down[7]_p2_out;
B1_count_down[7]_reg_input = B1_count_down[7]_or_out;
B1_count_down[7] = TFFE(B1_count_down[7]_reg_input, B1_CLK2, , , );


--B1_CLK1 is jiaotongdeng:inst|CLK1
B1_CLK1_p1_out = !B1_count_down[7] & !B1_count_down[6] & !B1_count_down[5] & !B1_count_down[4] & !B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1] & !B1_count_down[0] & GLOBAL(ST) & B1_temp;
B1_CLK1_p2_out = !GLOBAL(ST) & B1_CLK1;
B1_CLK1_p4_out = !B1_temp & B1_CLK1;
B1_CLK1_or_out = B1_CLK1_p1_out # B1_CLK1_p2_out # B1_CLK1_p4_out;
B1_CLK1_reg_input = B1_CLK1_or_out;
B1_CLK1 = DFFE(B1_CLK1_reg_input, B1_CLK2, , , );


--B1L49Q is jiaotongdeng:inst|current_state~14
B1L49Q_reg_input = VCC;
B1L49Q = TFFE(B1L49Q_reg_input, B1_CLK1, GLOBAL(ST), , );


--C1L1 is xianshi:inst1|reduce_or~1729
C1L1_p0_out = !J1_dffs[12] & B1_count_down[1] & !B1_count_down[0] & !B1_count_down[2];
C1L1_p1_out = B1_count_down[7] & B1_count_down[6] & J1_dffs[12];
C1L1_p2_out = B1_count_down[7] & J1_dffs[12] & B1_count_down[5];
C1L1_p3_out = !J1_dffs[12] & B1_count_down[1] & B1_count_down[3];
C1L1_p4_out = !B1_count_down[6] & J1_dffs[12] & B1_count_down[5] & !B1_count_down[4];
C1L1_or_out = C1L12 # C1L1_p0_out # C1L1_p1_out # C1L1_p2_out # C1L1_p3_out # C1L1_p4_out;
C1L1 = C1L1_or_out;


--C1L2 is xianshi:inst1|reduce_or~1735
C1L2_p0_out = J1_dffs[12] & B1_count_down[6] & B1_count_down[4] & !B1_count_down[5];
C1L2_p1_out = B1_count_down[3] & B1_count_down[1] & !J1_dffs[12];
C1L2_p2_out = B1_count_down[1] & !J1_dffs[12] & B1_count_down[2] & !B1_count_down[0];
C1L2_p3_out = !B1_count_down[1] & !J1_dffs[12] & B1_count_down[2] & B1_count_down[0];
C1L2_p4_out = J1_dffs[12] & B1_count_down[6] & !B1_count_down[4] & B1_count_down[5];
C1L2_or_out = C1L13 # C1L2_p0_out # C1L2_p1_out # C1L2_p2_out # C1L2_p3_out # C1L2_p4_out;
C1L2 = C1L2_or_out;


--C1L3 is xianshi:inst1|reduce_or~1741
C1L3_p0_out = J1_dffs[12] & B1_count_down[6] & !B1_count_down[7] & !B1_count_down[5];
C1L3_p1_out = J1_dffs[12] & !B1_count_down[6] & !B1_count_down[7] & B1_count_down[5];
C1L3_p2_out = !J1_dffs[12] & B1_count_down[3] & !B1_count_down[2] & !B1_count_down[1];
C1L3_p3_out = !J1_dffs[12] & !B1_count_down[3] & B1_count_down[2] & !B1_count_down[1];
C1L3_p4_out = J1_dffs[12] & !B1_count_down[6] & B1_count_down[7] & !B1_count_down[5];
C1L3_or_out = C1L14 # C1L3_p0_out # C1L3_p1_out # C1L3_p2_out # C1L3_p3_out # C1L3_p4_out;
C1L3 = !(C1L3_or_out);


--C1L4 is xianshi:inst1|reduce_or~1748
C1L4_p0_out = J1_dffs[12] & !B1_count_down[6] & !B1_count_down[7] & B1_count_down[4];
C1L4_p1_out = B1_count_down[1] & !J1_dffs[12] & B1_count_down[0];
C1L4_p2_out = !J1_dffs[12] & B1_count_down[2] & B1_count_down[3];
C1L4_p3_out = J1_dffs[12] & B1_count_down[6] & B1_count_down[7];
C1L4_p4_out = !J1_dffs[12] & B1_count_down[0] & !B1_count_down[2] & !B1_count_down[3];
C1L4_or_out = C1L15 # C1L4_p0_out # C1L4_p1_out # C1L4_p2_out # C1L4_p3_out # C1L4_p4_out;
C1L4 = C1L4_or_out;


--C1L5 is xianshi:inst1|reduce_or~1749
C1L5 = EXP(!B1_count_down[7] & B1_count_down[5] & J1_dffs[12]);


--C1L6 is xianshi:inst1|reduce_or~1750
C1L6 = EXP(!J1_dffs[12] & !B1_count_down[3] & B1_count_down[1]);


--C1L7 is xianshi:inst1|reduce_or~1751
C1L7 = EXP(!J1_dffs[12] & !B1_count_down[3] & !B1_count_down[0] & !B1_count_down[2]);


--C1L8 is xianshi:inst1|reduce_or~1752
C1L8 = EXP(!J1_dffs[12] & B1_count_down[3] & !B1_count_down[1] & !B1_count_down[2]);


--C1L9 is xianshi:inst1|reduce_or~1757
C1L9_p1_out = C1L5 & C1L6 & C1L7 & C1L8;
C1L9_p0_out = C1L5 & C1L6 & C1L7 & C1L8 & !J1_dffs[12] & !B1_count_down[3] & B1_count_down[0] & B1_count_down[2];
C1L9_p2_out = C1L5 & C1L6 & C1L7 & C1L8 & !B1_count_down[7] & J1_dffs[12] & !B1_count_down[4] & !B1_count_down[6];
C1L9_p3_out = C1L5 & C1L6 & C1L7 & C1L8 & B1_count_down[7] & J1_dffs[12] & !B1_count_down[6] & !B1_count_down[5];
C1L9_p4_out = C1L5 & C1L6 & C1L7 & C1L8 & !B1_count_down[7] & J1_dffs[12] & B1_count_down[4] & B1_count_down[6];