sram_test.vo

BJ-EPM240V2实验例程以及说明文档实验之BJ-EPM整板测试用代码

// \delay[24]~152COUT1_235  = CARRY(!\delay[23]~150COUT1_233  # !delay[24])

	.clk(\clk~combout ),
	.dataa(delay[24]),
	.datab(vcc),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(\delay[22]~148 ),
	.cin0(\delay[23]~150 ),
	.cin1(\delay[23]~150COUT1_233 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(delay[24]),
	.cout(),
	.cout0(\delay[24]~152 ),
	.cout1(\delay[24]~152COUT1_235 ));
// synopsys translate_off
defparam \delay[24] .cin0_used = "true";
defparam \delay[24] .cin1_used = "true";
defparam \delay[24] .cin_used = "true";
defparam \delay[24] .lut_mask = "5a5f";
defparam \delay[24] .operation_mode = "arithmetic";
defparam \delay[24] .output_mode = "reg_only";
defparam \delay[24] .register_cascade_mode = "off";
defparam \delay[24] .sum_lutc_input = "cin";
defparam \delay[24] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X7_Y3_N7
maxii_lcell \delay[25] (
// Equation(s):
// delay[25] = DFFEAS(delay[25] $ !(!\delay[22]~148  & \delay[24]~152 ) # (\delay[22]~148  & \delay[24]~152COUT1_235 ), GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , , , , , )

	.clk(\clk~combout ),
	.dataa(vcc),
	.datab(delay[25]),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(vcc),
	.cin(\delay[22]~148 ),
	.cin0(\delay[24]~152 ),
	.cin1(\delay[24]~152COUT1_235 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(delay[25]),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \delay[25] .cin0_used = "true";
defparam \delay[25] .cin1_used = "true";
defparam \delay[25] .cin_used = "true";
defparam \delay[25] .lut_mask = "c3c3";
defparam \delay[25] .operation_mode = "normal";
defparam \delay[25] .output_mode = "reg_only";
defparam \delay[25] .register_cascade_mode = "off";
defparam \delay[25] .sum_lutc_input = "cin";
defparam \delay[25] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y2_N2
maxii_lcell \Equal0~219 (
// Equation(s):
// \Equal0~219_combout  = !delay[24] & !delay[25] & !delay[23]

	.clk(gnd),
	.dataa(vcc),
	.datab(delay[24]),
	.datac(delay[25]),
	.datad(delay[23]),
	.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(\Equal0~219_combout ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Equal0~219 .lut_mask = "0003";
defparam \Equal0~219 .operation_mode = "normal";
defparam \Equal0~219 .output_mode = "comb_only";
defparam \Equal0~219 .register_cascade_mode = "off";
defparam \Equal0~219 .sum_lutc_input = "datac";
defparam \Equal0~219 .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X7_Y3_N9
maxii_lcell \Equal0~220 (
// Equation(s):
// \Equal0~220_combout  = \Equal0~218_combout  & \Equal0~216_combout  & \Equal0~217_combout  & \Equal0~219_combout 

	.clk(gnd),
	.dataa(\Equal0~218_combout ),
	.datab(\Equal0~216_combout ),
	.datac(\Equal0~217_combout ),
	.datad(\Equal0~219_combout ),
	.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(\Equal0~220_combout ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Equal0~220 .lut_mask = "8000";
defparam \Equal0~220 .operation_mode = "normal";
defparam \Equal0~220 .output_mode = "comb_only";
defparam \Equal0~220 .register_cascade_mode = "off";
defparam \Equal0~220 .sum_lutc_input = "datac";
defparam \Equal0~220 .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X4_Y2_N8
maxii_lcell \Equal0~222 (
// Equation(s):
// \Equal0~222_combout  = !delay[11] & (delay[13] & delay[8])

	.clk(gnd),
	.dataa(delay[11]),
	.datab(vcc),
	.datac(delay[13]),
	.datad(delay[8]),
	.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(\Equal0~222_combout ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Equal0~222 .lut_mask = "5000";
defparam \Equal0~222 .operation_mode = "normal";
defparam \Equal0~222 .output_mode = "comb_only";
defparam \Equal0~222 .register_cascade_mode = "off";
defparam \Equal0~222 .sum_lutc_input = "datac";
defparam \Equal0~222 .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N8
maxii_lcell \Equal0~223 (
// Equation(s):
// \Equal0~223_combout  = !delay[4] & \Equal1~117_combout  & \Equal0~220_combout  & \Equal0~222_combout 

	.clk(gnd),
	.dataa(delay[4]),
	.datab(\Equal1~117_combout ),
	.datac(\Equal0~220_combout ),
	.datad(\Equal0~222_combout ),
	.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(\Equal0~223_combout ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Equal0~223 .lut_mask = "4000";
defparam \Equal0~223 .operation_mode = "normal";
defparam \Equal0~223 .output_mode = "comb_only";
defparam \Equal0~223 .register_cascade_mode = "off";
defparam \Equal0~223 .sum_lutc_input = "datac";
defparam \Equal0~223 .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N0
maxii_lcell \Equal2~80 (
// Equation(s):
// \Equal2~80_combout  = delay[12] & !delay[9] & \Equal2~79_combout  & \Equal0~223_combout 

	.clk(gnd),
	.dataa(delay[12]),
	.datab(delay[9]),
	.datac(\Equal2~79_combout ),
	.datad(\Equal0~223_combout ),
	.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(\Equal2~80_combout ),
	.regout(),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \Equal2~80 .lut_mask = "2000";
defparam \Equal2~80 .operation_mode = "normal";
defparam \Equal2~80 .output_mode = "comb_only";
defparam \Equal2~80 .register_cascade_mode = "off";
defparam \Equal2~80 .sum_lutc_input = "datac";
defparam \Equal2~80 .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X7_Y4_N7
maxii_lcell \wr_data[0] (
// Equation(s):
// wr_data[0] = DFFEAS(wr_data[0] $ \Equal2~80_combout , GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , , , , , )

	.clk(\clk~combout ),
	.dataa(vcc),
	.datab(vcc),
	.datac(wr_data[0]),
	.datad(\Equal2~80_combout ),
	.aclr(!\rst_n~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(wr_data[0]),
	.cout(),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \wr_data[0] .lut_mask = "0ff0";
defparam \wr_data[0] .operation_mode = "normal";
defparam \wr_data[0] .output_mode = "reg_only";
defparam \wr_data[0] .register_cascade_mode = "off";
defparam \wr_data[0] .sum_lutc_input = "datac";
defparam \wr_data[0] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N1
maxii_lcell \wr_data[1] (
// Equation(s):
// wr_data[1] = DFFEAS(wr_data[0] $ wr_data[1], GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , \Equal2~80_combout , , , , )
// \wr_data[1]~86  = CARRY(wr_data[0] & wr_data[1])
// \wr_data[1]~86COUT1_107  = CARRY(wr_data[0] & wr_data[1])

	.clk(\clk~combout ),
	.dataa(wr_data[0]),
	.datab(wr_data[1]),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(\Equal2~80_combout ),
	.cin(gnd),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(wr_data[1]),
	.cout(),
	.cout0(\wr_data[1]~86 ),
	.cout1(\wr_data[1]~86COUT1_107 ));
// synopsys translate_off
defparam \wr_data[1] .lut_mask = "6688";
defparam \wr_data[1] .operation_mode = "arithmetic";
defparam \wr_data[1] .output_mode = "reg_only";
defparam \wr_data[1] .register_cascade_mode = "off";
defparam \wr_data[1] .sum_lutc_input = "datac";
defparam \wr_data[1] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N2
maxii_lcell \wr_data[2] (
// Equation(s):
// wr_data[2] = DFFEAS(wr_data[2] $ \wr_data[1]~86 , GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , \Equal2~80_combout , , , , )
// \wr_data[2]~88  = CARRY(!\wr_data[1]~86  # !wr_data[2])
// \wr_data[2]~88COUT1_109  = CARRY(!\wr_data[1]~86COUT1_107  # !wr_data[2])

	.clk(\clk~combout ),
	.dataa(vcc),
	.datab(wr_data[2]),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(\Equal2~80_combout ),
	.cin(gnd),
	.cin0(\wr_data[1]~86 ),
	.cin1(\wr_data[1]~86COUT1_107 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(wr_data[2]),
	.cout(),
	.cout0(\wr_data[2]~88 ),
	.cout1(\wr_data[2]~88COUT1_109 ));
// synopsys translate_off
defparam \wr_data[2] .cin0_used = "true";
defparam \wr_data[2] .cin1_used = "true";
defparam \wr_data[2] .lut_mask = "3c3f";
defparam \wr_data[2] .operation_mode = "arithmetic";
defparam \wr_data[2] .output_mode = "reg_only";
defparam \wr_data[2] .register_cascade_mode = "off";
defparam \wr_data[2] .sum_lutc_input = "cin";
defparam \wr_data[2] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N3
maxii_lcell \wr_data[3] (
// Equation(s):
// wr_data[3] = DFFEAS(wr_data[3] $ (!\wr_data[2]~88 ), GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , \Equal2~80_combout , , , , )
// \wr_data[3]~90  = CARRY(wr_data[3] & (!\wr_data[2]~88 ))
// \wr_data[3]~90COUT1_111  = CARRY(wr_data[3] & (!\wr_data[2]~88COUT1_109 ))

	.clk(\clk~combout ),
	.dataa(wr_data[3]),
	.datab(vcc),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(\Equal2~80_combout ),
	.cin(gnd),
	.cin0(\wr_data[2]~88 ),
	.cin1(\wr_data[2]~88COUT1_109 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(wr_data[3]),
	.cout(),
	.cout0(\wr_data[3]~90 ),
	.cout1(\wr_data[3]~90COUT1_111 ));
// synopsys translate_off
defparam \wr_data[3] .cin0_used = "true";
defparam \wr_data[3] .cin1_used = "true";
defparam \wr_data[3] .lut_mask = "a50a";
defparam \wr_data[3] .operation_mode = "arithmetic";
defparam \wr_data[3] .output_mode = "reg_only";
defparam \wr_data[3] .register_cascade_mode = "off";
defparam \wr_data[3] .sum_lutc_input = "cin";
defparam \wr_data[3] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N4
maxii_lcell \wr_data[4] (
// Equation(s):
// wr_data[4] = DFFEAS(wr_data[4] $ (\wr_data[3]~90 ), GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , \Equal2~80_combout , , , , )
// \wr_data[4]~92  = CARRY(!\wr_data[3]~90COUT1_111  # !wr_data[4])

	.clk(\clk~combout ),
	.dataa(wr_data[4]),
	.datab(vcc),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(\Equal2~80_combout ),
	.cin(gnd),
	.cin0(\wr_data[3]~90 ),
	.cin1(\wr_data[3]~90COUT1_111 ),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(wr_data[4]),
	.cout(\wr_data[4]~92 ),
	.cout0(),
	.cout1());
// synopsys translate_off
defparam \wr_data[4] .cin0_used = "true";
defparam \wr_data[4] .cin1_used = "true";
defparam \wr_data[4] .lut_mask = "5a5f";
defparam \wr_data[4] .operation_mode = "arithmetic";
defparam \wr_data[4] .output_mode = "reg_only";
defparam \wr_data[4] .register_cascade_mode = "off";
defparam \wr_data[4] .sum_lutc_input = "cin";
defparam \wr_data[4] .synch_mode = "off";
// synopsys translate_on

// atom is at LC_X6_Y1_N5
maxii_lcell \wr_data[5] (
// Equation(s):
// wr_data[5] = DFFEAS(wr_data[5] $ (!\wr_data[4]~92 ), GLOBAL(\clk~combout ), GLOBAL(\rst_n~combout ), , \Equal2~80_combout , , , , )
// \wr_data[5]~94  = CARRY(wr_data[5] & (!\wr_data[4]~92 ))
// \wr_data[5]~94COUT1_113  = CARRY(wr_data[5] & (!\wr_data[4]~92 ))

	.clk(\clk~combout ),
	.dataa(wr_data[5]),
	.datab(vcc),
	.datac(vcc),
	.datad(vcc),
	.aclr(!\rst_n~combout ),
	.aload(gnd),
	.sclr(gnd),
	.sload(gnd),
	.ena(\Equal2~80_combout ),
	.cin(\wr_data[4]~92 ),
	.cin0(gnd),
	.cin1(vcc),
	.inverta(gnd),
	.regcascin(gnd),
	.devclrn(devclrn),
	.devpor(devpor),
	.combout(),
	.regout(wr_data[5]),
	.cout(),
	.cout0(\wr_data[5]~94 ),