booth_com.vo

布思基四乘法器实现,很好用,快来看,希望对大家有所帮助.

maxii_lcell \pro_reg[0]~I (
// Equation(s):
// \pro_reg[0]  = DFFEAS(\m2_reg[0]  & (\m1_reg[0] ), GLOBAL(\CLK~combout ), GLOBAL(\RST_~combout ), , , , , , )

	.clk(\CLK~combout ),
	.dataa(vcc),
	.datab(\m2_reg[0] ),
	.datac(vcc),
	.datad(\m1_reg[0] ),
	.aclr(!\RST_~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(\pro_reg[0] ),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_reg[0]~I .operation_mode = "normal";
defparam \pro_reg[0]~I .synch_mode = "off";
defparam \pro_reg[0]~I .register_cascade_mode = "off";
defparam \pro_reg[0]~I .sum_lutc_input = "datac";
defparam \pro_reg[0]~I .lut_mask = "CC00";
defparam \pro_reg[0]~I .output_mode = "reg_only";
// synopsys translate_on

// atom is at LC_X5_Y2_N8
maxii_lcell \always3~0_I (
// Equation(s):
// \always3~0  = \m2_reg[1]~49  # !\m1_reg[1]  & !\m1_reg[2]  & !\m1_reg[0] 

	.clk(gnd),
	.dataa(\m2_reg[1]~49 ),
	.datab(\m1_reg[1] ),
	.datac(\m1_reg[2] ),
	.datad(\m1_reg[0] ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\always3~0 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \always3~0_I .operation_mode = "normal";
defparam \always3~0_I .synch_mode = "off";
defparam \always3~0_I .register_cascade_mode = "off";
defparam \always3~0_I .sum_lutc_input = "datac";
defparam \always3~0_I .lut_mask = "AAAB";
defparam \always3~0_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X5_Y2_N6
maxii_lcell \pro_reg~534_I (
// Equation(s):
// \pro_reg~534  = \m1_reg[1]  & (\add~710  & !\m1_reg[0] ) # !\m1_reg[1]  & \add~715  & (\m1_reg[0] )

	.clk(gnd),
	.dataa(\m1_reg[1] ),
	.datab(\add~715 ),
	.datac(\add~710 ),
	.datad(\m1_reg[0] ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\pro_reg~534 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_reg~534_I .operation_mode = "normal";
defparam \pro_reg~534_I .synch_mode = "off";
defparam \pro_reg~534_I .register_cascade_mode = "off";
defparam \pro_reg~534_I .sum_lutc_input = "datac";
defparam \pro_reg~534_I .lut_mask = "44A0";
defparam \pro_reg~534_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X6_Y1_N5
maxii_lcell \pro_reg[1]~I (
// Equation(s):
// \pro_reg[1]  = DFFEAS(!\always3~0  & (\pro_reg~534  # \m1_reg[1]  & \pro_tmp~130 ), GLOBAL(\CLK~combout ), GLOBAL(\RST_~combout ), , , , , , )

	.clk(\CLK~combout ),
	.dataa(\always3~0 ),
	.datab(\m1_reg[1] ),
	.datac(\pro_tmp~130 ),
	.datad(\pro_reg~534 ),
	.aclr(!\RST_~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(\pro_reg[1] ),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_reg[1]~I .operation_mode = "normal";
defparam \pro_reg[1]~I .synch_mode = "off";
defparam \pro_reg[1]~I .register_cascade_mode = "off";
defparam \pro_reg[1]~I .sum_lutc_input = "datac";
defparam \pro_reg[1]~I .lut_mask = "5540";
defparam \pro_reg[1]~I .output_mode = "reg_only";
// synopsys translate_on

// atom is at LC_X6_Y3_N4
maxii_lcell \m1_tmp[2]~47_I (
// Equation(s):
// \m1_tmp[2]~47  = \m1_reg[1]  $ (\m1_reg[2] )

	.clk(gnd),
	.dataa(\m1_reg[1] ),
	.datab(vcc),
	.datac(\m1_reg[2] ),
	.datad(vcc),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\m1_tmp[2]~47 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \m1_tmp[2]~47_I .operation_mode = "normal";
defparam \m1_tmp[2]~47_I .synch_mode = "off";
defparam \m1_tmp[2]~47_I .register_cascade_mode = "off";
defparam \m1_tmp[2]~47_I .sum_lutc_input = "datac";
defparam \m1_tmp[2]~47_I .lut_mask = "5A5A";
defparam \m1_tmp[2]~47_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X6_Y3_N2
maxii_lcell \pro_reg~536_I (
// Equation(s):
// \pro_reg~536  = \m1_reg[2]  & \add~720  # !\m1_reg[2]  & (\add~725 )

	.clk(gnd),
	.dataa(\m1_reg[2] ),
	.datab(\add~720 ),
	.datac(\add~725 ),
	.datad(vcc),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\pro_reg~536 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_reg~536_I .operation_mode = "normal";
defparam \pro_reg~536_I .synch_mode = "off";
defparam \pro_reg~536_I .register_cascade_mode = "off";
defparam \pro_reg~536_I .sum_lutc_input = "datac";
defparam \pro_reg~536_I .lut_mask = "D8D8";
defparam \pro_reg~536_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X7_Y3_N3
maxii_lcell \pro_reg[2]~I (
// Equation(s):
// \pro_reg[2]  = DFFEAS(!\always3~0  & (\m1_tmp[2]~47  & (\pro_reg~536 ) # !\m1_tmp[2]~47  & \Select~1265 ), GLOBAL(\CLK~combout ), GLOBAL(\RST_~combout ), , , , , , )

	.clk(\CLK~combout ),
	.dataa(\always3~0 ),
	.datab(\m1_tmp[2]~47 ),
	.datac(\Select~1265 ),
	.datad(\pro_reg~536 ),
	.aclr(!\RST_~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(\pro_reg[2] ),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_reg[2]~I .operation_mode = "normal";
defparam \pro_reg[2]~I .synch_mode = "off";
defparam \pro_reg[2]~I .register_cascade_mode = "off";
defparam \pro_reg[2]~I .sum_lutc_input = "datac";
defparam \pro_reg[2]~I .lut_mask = "5410";
defparam \pro_reg[2]~I .output_mode = "reg_only";
// synopsys translate_on

// atom is at LC_X6_Y3_N9
maxii_lcell \pro_tmp~133_I (
// Equation(s):
// \pro_tmp~133  = \m1_reg[2]  $ !\m1_reg[3] 

	.clk(gnd),
	.dataa(vcc),
	.datab(vcc),
	.datac(\m1_reg[2] ),
	.datad(\m1_reg[3] ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\pro_tmp~133 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \pro_tmp~133_I .operation_mode = "normal";
defparam \pro_tmp~133_I .synch_mode = "off";
defparam \pro_tmp~133_I .register_cascade_mode = "off";
defparam \pro_tmp~133_I .sum_lutc_input = "datac";
defparam \pro_tmp~133_I .lut_mask = "F00F";
defparam \pro_tmp~133_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X4_Y3_N0
maxii_lcell \pro_reg[3]~540_I (
// Equation(s):
// \pro_reg[3]~540COUT0_550  = CARRY(\m1_reg[3]  & !\m1_reg[2] )
// \pro_reg[3]~540COUT1_551  = CARRY(\m1_reg[3]  & !\m1_reg[2] )

	.clk(gnd),
	.dataa(\m1_reg[3] ),
	.datab(\m1_reg[2] ),
	.datac(vcc),
	.datad(vcc),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(),
	.cout(),
	.cout0(\pro_reg[3]~540COUT0_550 ),
	.cout1(\pro_reg[3]~540COUT1_551 ));
// synopsys translate_off
defparam \pro_reg[3]~540_I .operation_mode = "arithmetic";
defparam \pro_reg[3]~540_I .synch_mode = "off";
defparam \pro_reg[3]~540_I .register_cascade_mode = "off";
defparam \pro_reg[3]~540_I .sum_lutc_input = "datac";
defparam \pro_reg[3]~540_I .lut_mask = "0022";
defparam \pro_reg[3]~540_I .output_mode = "none";
// synopsys translate_on

// atom is at LC_X4_Y3_N1
maxii_lcell \pro_reg[3]~I (
// Equation(s):
// \pro_reg[3]  = DFFEAS(\add~740  $ \Select~1273  $ \pro_reg[3]~540COUT0_550 , GLOBAL(\CLK~combout ), GLOBAL(\RST_~combout ), , , \Select~1273 , , \always3~0 , \pro_tmp~133 )
// \pro_reg[3]~518  = CARRY(\add~740  & !\Select~1273  & !\pro_reg[3]~540COUT0_550  # !\add~740  & (!\pro_reg[3]~540COUT0_550  # !\Select~1273 ))
// \pro_reg[3]~518COUT1_552  = CARRY(\add~740  & !\Select~1273  & !\pro_reg[3]~540COUT1_551  # !\add~740  & (!\pro_reg[3]~540COUT1_551  # !\Select~1273 ))

	.clk(\CLK~combout ),
	.dataa(\add~740 ),
	.datab(\Select~1273 ),
	.datac(\Select~1273 ),
	.datad(vcc),
	.aclr(!\RST_~combout ),
	.aload(gnd),
	.sclr(\always3~0 ),
	.sload(\pro_tmp~133 ),
	.ena(vcc),
	.cin(gnd),
	.cin0(\pro_reg[3]~540COUT0_550 ),
	.cin1(\pro_reg[3]~540COUT1_551 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(\pro_reg[3] ),
	.cout(),
	.cout0(\pro_reg[3]~518 ),
	.cout1(\pro_reg[3]~518COUT1_552 ));
// synopsys translate_off
defparam \pro_reg[3]~I .operation_mode = "arithmetic";
defparam \pro_reg[3]~I .synch_mode = "on";
defparam \pro_reg[3]~I .register_cascade_mode = "off";
defparam \pro_reg[3]~I .sum_lutc_input = "cin";
defparam \pro_reg[3]~I .lut_mask = "9617";
defparam \pro_reg[3]~I .cin0_used = "true";
defparam \pro_reg[3]~I .cin1_used = "true";
defparam \pro_reg[3]~I .output_mode = "reg_only";
// synopsys translate_on

// atom is at LC_X5_Y2_N4
maxii_lcell \add~772_I (
// Equation(s):
// \add~772  = \pro_tmp~132  $ \m2_reg[3]  $ \add~753 

	.clk(gnd),
	.dataa(\pro_tmp~132 ),
	.datab(\m2_reg[3] ),
	.datac(vcc),
	.datad(vcc),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(\add~753 ),
	.cin1(\add~753COUT1_812 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\add~772 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \add~772_I .operation_mode = "normal";
defparam \add~772_I .synch_mode = "off";
defparam \add~772_I .register_cascade_mode = "off";
defparam \add~772_I .sum_lutc_input = "cin";
defparam \add~772_I .lut_mask = "9696";
defparam \add~772_I .cin0_used = "true";
defparam \add~772_I .cin1_used = "true";
defparam \add~772_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X4_Y2_N9
maxii_lcell \add~777_I (
// Equation(s):
// \add~777  = \pro_tmp~132  $ \add~758  $ !\m2_reg[3] 

	.clk(gnd),
	.dataa(vcc),
	.datab(\pro_tmp~132 ),
	.datac(vcc),
	.datad(\m2_reg[3] ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(\add~758 ),
	.cin1(\add~758COUT1_807 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\add~777 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \add~777_I .operation_mode = "normal";
defparam \add~777_I .synch_mode = "off";
defparam \add~777_I .register_cascade_mode = "off";
defparam \add~777_I .sum_lutc_input = "cin";
defparam \add~777_I .lut_mask = "3CC3";
defparam \add~777_I .cin0_used = "true";
defparam \add~777_I .cin1_used = "true";
defparam \add~777_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X5_Y2_N7
maxii_lcell \Select~1270_I (
// Equation(s):
// \Select~1270  = \m1_reg[0]  & (\add~772 ) # !\m1_reg[0]  & (\add~777 )

	.clk(gnd),
	.dataa(\m1_reg[0] ),
	.datab(vcc),
	.datac(\add~772 ),
	.datad(\add~777 ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\Select~1270 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Select~1270_I .operation_mode = "normal";
defparam \Select~1270_I .synch_mode = "off";
defparam \Select~1270_I .register_cascade_mode = "off";
defparam \Select~1270_I .sum_lutc_input = "datac";
defparam \Select~1270_I .lut_mask = "F5A0";
defparam \Select~1270_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X5_Y3_N0
maxii_lcell \Select~1271_I (
// Equation(s):
// \Select~1271  = \m1_reg[1]  & (\m1_reg[0]  & \pro_tmp~132  # !\m1_reg[0]  & (\Select~1270 )) # !\m1_reg[1]  & (\m1_reg[0]  & (\Select~1270 ) # !\m1_reg[0]  & \pro_tmp~132 )

	.clk(gnd),
	.dataa(\m1_reg[1] ),
	.datab(\pro_tmp~132 ),
	.datac(\m1_reg[0] ),
	.datad(\Select~1270 ),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\Select~1271 ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Select~1271_I .operation_mode = "normal";
defparam \Select~1271_I .synch_mode = "off";
defparam \Select~1271_I .register_cascade_mode = "off";
defparam \Select~1271_I .sum_lutc_input = "datac";
defparam \Select~1271_I .lut_mask = "DE84";
defparam \Select~1271_I .output_mode = "comb_only";
// synopsys translate_on

// atom is at LC_X5_Y3_N3
maxii_lcell \add~762_I (
// Equation(s):
// \add~762  = \m2_reg[2]  $ \Select~1271  $ !\add~743 
// \add~764  = CARRY(\m2_reg[2]  & (\Select~1271  # !\add~743 ) # !\m2_reg[2]  & \Select~1271  & !\add~743 )
// \add~764COUT1_822  = CARRY(\m2_reg[2]  & (\Select~1271  # !\add~743COUT1_820 ) # !\m2_reg[2]  & \Select~1271  & !\add~743COUT1_820 )

	.clk(gnd),
	.dataa(\m2_reg[2] ),
	.datab(\Select~1271 ),
	.datac(vcc),
	.datad(vcc),
	.aclr(gnd),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(gnd),
	.cin0(\add~743 ),
	.cin1(\add~743COUT1_820 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(\add~762 ),
	.regout(),
	.cout(),
	.cout0(\add~764 ),
	.cout1(\add~764COUT1_822 ));
// synopsys translate_off
defparam \add~762_I .operation_mode = "arithmetic";