st_mult1.rpt

veilog实现的状态机乘法器.可以参考

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_6_~7' from file "st_mult1.edf" line 934
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_6_~7', location is LC7_B14, type is buried.
bei_cheng_shu_Temp_1_i_m2_6_~7 = LCELL( _EQ006);
  _EQ006 =  current_state_0_ &  _LC1_B14
         #  current_state_1_ &  _LC1_B14
         #  bei_cheng_shu6 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_7_~7' from file "st_mult1.edf" line 904
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_7_~7', location is LC8_B14, type is buried.
bei_cheng_shu_Temp_1_i_m2_7_~7 = LCELL( _EQ007);
  _EQ007 =  current_state_0_ &  _LC4_B14
         #  current_state_1_ &  _LC4_B14
         #  bei_cheng_shu7 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_8_~7' from file "st_mult1.edf" line 925
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_8_~7', location is LC1_B15, type is buried.
bei_cheng_shu_Temp_1_i_m2_8_~7 = LCELL( _EQ008);
  _EQ008 =  current_state_0_ &  _LC5_B14
         #  current_state_1_ &  _LC5_B14
         #  bei_cheng_shu8 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_9_~7' from file "st_mult1.edf" line 916
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_9_~7', location is LC3_B15, type is buried.
bei_cheng_shu_Temp_1_i_m2_9_~7 = LCELL( _EQ009);
  _EQ009 =  current_state_0_ &  _LC2_B15
         #  current_state_1_ &  _LC2_B15
         #  bei_cheng_shu9 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_10_~7' from file "st_mult1.edf" line 910
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_10_~7', location is LC4_B15, type is buried.
bei_cheng_shu_Temp_1_i_m2_10_~7 = LCELL( _EQ010);
  _EQ010 =  current_state_0_ &  _LC8_B15
         #  current_state_1_ &  _LC8_B15
         #  bei_cheng_shu10 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_11_~7' from file "st_mult1.edf" line 913
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_11_~7', location is LC7_B15, type is buried.
bei_cheng_shu_Temp_1_i_m2_11_~7 = LCELL( _EQ011);
  _EQ011 =  current_state_0_ &  _LC5_B15
         #  current_state_1_ &  _LC5_B15
         #  bei_cheng_shu11 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_12_~7' from file "st_mult1.edf" line 952
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_12_~7', location is LC3_B6, type is buried.
bei_cheng_shu_Temp_1_i_m2_12_~7 = LCELL( _EQ012);
  _EQ012 =  current_state_0_ &  _LC6_B15
         #  current_state_1_ &  _LC6_B15
         #  bei_cheng_shu12 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_13_~7' from file "st_mult1.edf" line 955
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_13_~7', location is LC5_B6, type is buried.
bei_cheng_shu_Temp_1_i_m2_13_~7 = LCELL( _EQ013);
  _EQ013 =  current_state_0_ &  _LC4_B6
         #  current_state_1_ &  _LC4_B6
         #  bei_cheng_shu13 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_14_~7' from file "st_mult1.edf" line 919
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_14_~7', location is LC6_B6, type is buried.
bei_cheng_shu_Temp_1_i_m2_14_~7 = LCELL( _EQ014);
  _EQ014 =  current_state_0_ &  _LC2_B6
         #  current_state_1_ &  _LC2_B6
         #  bei_cheng_shu14 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_m2_15_~7' from file "st_mult1.edf" line 961
-- Equation name is 'bei_cheng_shu_Temp_1_i_m2_15_~7', location is LC8_B6, type is buried.
bei_cheng_shu_Temp_1_i_m2_15_~7 = LCELL( _EQ015);
  _EQ015 =  current_state_0_ &  _LC7_B6
         #  current_state_1_ &  _LC7_B6
         #  bei_cheng_shu15 & !current_state_0_ & !current_state_1_;

-- Node name is 'bei_cheng_shu_Temp_1_i_o2_16_~1' from file "st_mult1.edf" line 883
-- Equation name is 'bei_cheng_shu_Temp_1_i_o2_16_~1', location is LC5_A6, type is buried.
bei_cheng_shu_Temp_1_i_o2_16_~1 = LCELL( _EQ016);
  _EQ016 = !current_state_0_ & !current_state_1_;

-- Node name is 'count_1_i_2_~10' from file "st_mult1.edf" line 877
-- Equation name is 'count_1_i_2_~10', location is LC8_A9, type is buried.
count_1_i_2_~10 = LCELL( _EQ017);
  _EQ017 = !bei_cheng_shu_Temp_1_i_o2_16_~1 & !_LC1_A7 &  _LC6_A9
         # !bei_cheng_shu_Temp_1_i_o2_16_~1 &  _LC1_A7 &  _LC1_A12 & !_LC6_A9
         # !bei_cheng_shu_Temp_1_i_o2_16_~1 & !_LC1_A12 &  _LC6_A9;

-- Node name is 'count_1_i_4_~10' from file "st_mult1.edf" line 880
-- Equation name is 'count_1_i_4_~10', location is LC5_A7, type is buried.
count_1_i_4_~10 = LCELL( _EQ018);
  _EQ018 = !bei_cheng_shu_Temp_1_i_o2_16_~1 &  _LC6_A7 & !un4_count_anc2~2
         # !bei_cheng_shu_Temp_1_i_o2_16_~1 &  _LC2_A7 & !_LC6_A7 & 
              un4_count_anc2~2
         # !bei_cheng_shu_Temp_1_i_o2_16_~1 & !_LC2_A7 &  _LC6_A7;

-- Node name is 'current_state_ns_0_0_a2_1_~7' from file "st_mult1.edf" line 862
-- Equation name is 'current_state_ns_0_0_a2_1_~7', location is LC8_A7, type is buried.
!current_state_ns_0_0_a2_1_~7 = current_state_ns_0_0_a2_1_~7~NOT;
current_state_ns_0_0_a2_1_~7~NOT = LCELL( _EQ019);
  _EQ019 = !current_state_ns_0_0_a2_2_1_~3
         # !_LC2_A7 &  un4_count_anc2~2
         # !_LC2_A7 & !_LC6_A7
         #  _LC2_A7 & !un4_count_anc2~2
         # !_LC6_A7 & !un4_count_anc2~2
         #  _LC2_A7 &  _LC6_A7
         #  _LC6_A7 &  un4_count_anc2~2;

-- Node name is 'current_state_ns_0_0_a2_2_1_~3' from file "st_mult1.edf" line 868
-- Equation name is 'current_state_ns_0_0_a2_2_1_~3', location is LC7_A7, type is buried.
!current_state_ns_0_0_a2_2_1_~3 = current_state_ns_0_0_a2_2_1_~3~NOT;
current_state_ns_0_0_a2_2_1_~3~NOT = LCELL( _EQ020);
  _EQ020 = !current_state_1_
         # !_LC1_A12
         # !_LC1_A7
         # !_LC6_A9;

-- Node name is 'current_state0' = 'current_state_0_' from file "st_mult1.edf" line 152
-- Equation name is 'current_state0', location is LC2_B11, type is buried.
current_state_0_ = DFFE( _EQ021, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ021 = !current_state_0_ & !rst
         #  current_state_1_ & !rst;

-- Node name is 'current_state1' = 'current_state_1_' from file "st_mult1.edf" line 155
-- Equation name is 'current_state1', location is LC3_A7, type is buried.
current_state_1_ = DFFE( _EQ022, GLOBAL( CLK),  VCC,  VCC,  VCC);
  _EQ022 =  current_state_ns_0_0_a2_1_~7 & !rst
         #  current_state_0_ & !rst;

-- Node name is 'un1_cheng_shu_temp_15_cas1' = 'N_1' from file "st_mult1.edf" line 1009
-- Equation name is 'un1_cheng_shu_temp_15_cas1', location is LC3_A1, type is buried.
N_1      = LCELL( _EQ023C);
 _EQ023C =  _EQ023;
  _EQ023 = !_LC1_A7 &  un1_cheng_shu_temp_3_0
         #  _LC1_A7 &  un1_cheng_shu_temp_6_0
         #  _LC1_A12;

-- Node name is 'un1_cheng_shu_temp_13_0_cas' = 'N_3' from file "st_mult1.edf" line 1022
-- Equation name is 'un1_cheng_shu_temp_13_0_cas', location is LC1_A1, type is buried.
N_3      = LCELL( _EQ024C);
 _EQ024C =  _EQ024;
  _EQ024 = !_LC2_A7 &  _LC5_A1
         #  _LC2_A7 &  _LC6_A1
         #  _LC6_A9;

-- Node name is 'un1_cheng_shu_temp_6_0_cas' = 'N_5' from file "st_mult1.edf" line 1035
-- Equation name is 'un1_cheng_shu_temp_6_0_cas', location is LC1_A5, type is buried.
N_5      = LCELL( _EQ025C);
 _EQ025C =  _EQ025;
  _EQ025 = !_LC2_A7 &  _LC3_A5
         #  _LC2_A7 &  _LC4_A5
         #  _LC6_A9;

-- Node name is 'un1_cheng_shu_temp_10_0_cas' = 'N_7' from file "st_mult1.edf" line 1048
-- Equation name is 'un1_cheng_shu_temp_10_0_cas', location is LC1_A9, type is buried.
N_7      = LCELL( _EQ026C);
 _EQ026C =  _EQ026;
  _EQ026 = !_LC2_A7 &  _LC3_A9
         #  _LC2_A7 &  _LC4_A9
         #  _LC6_A9;

-- Node name is 'un1_cheng_shu_temp_3_0_cas' = 'N_9' from file "st_mult1.edf" line 1061
-- Equation name is 'un1_cheng_shu_temp_3_0_cas', location is LC2_A6, type is buried.
N_9      = LCELL( _EQ027C);
 _EQ027C =  _EQ027;
  _EQ027 =  _LC1_A6 & !_LC2_A7
         #  _LC2_A7 &  _LC4_A6
         #  _LC6_A9;

-- Node name is 'ok' from file "st_mult1.edf" line 144
-- Equation name is 'ok', type is output 
ok       =  _LC6_A6;

-- Node name is 'result0' from file "st_mult1.edf" line 141
-- Equation name is 'result0', type is output 
result0  =  _LC1_B17;

-- Node name is 'result1' from file "st_mult1.edf" line 141
-- Equation name is 'result1', type is output 
result1  =  _LC2_B21;

-- Node name is 'result2' from file "st_mult1.edf" line 141
-- Equation name is 'result2', type is output 
result2  =  _LC4_B23;

-- Node name is 'result3' from file "st_mult1.edf" line 141
-- Equation name is 'result3', type is output 
result3  =  _LC8_B23;

-- Node name is 'result4' from file "st_mult1.edf" line 141
-- Equation name is 'result4', type is output 
result4  =  _LC7_B23;

-- Node name is 'result5' from file "st_mult1.edf" line 141
-- Equation name is 'result5', type is output 
result5  =  _LC2_B17;

-- Node name is 'result6' from file "st_mult1.edf" line 141
-- Equation name is 'result6', type is output 
result6  =  _LC8_B21;

-- Node name is 'result7' from file "st_mult1.edf" line 141
-- Equation name is 'result7', type is output 
result7  =  _LC6_B17;

-- Node name is 'result8' from file "st_mult1.edf" line 141
-- Equation name is 'result8', type is output 
result8  =  _LC2_B23;

-- Node name is 'result9' from file "st_mult1.edf" line 141
-- Equation name is 'result9', type is output 
result9  =  _LC5_B23;

-- Node name is 'result10' from file "st_mult1.edf" line 141
-- Equation name is 'result10', type is