//VERSION: 7.1.3 DATE:01/10/26 RAM TYPE: 1port RAM
`timescale 1ps / 1ps
`celldefine
`ifdef verifault
    `suppress_faults
    `enable_portfaults
`endif
module WBSRAMSHS128W32C3 (
	DO31,
	DO30,
	DO29,
	DO28,
	DO27,
	DO26,
	DO25,
	DO24,
	DO23,
	DO22,
	DO21,
	DO20,
	DO19,
	DO18,
	DO17,
	DO16,
	DO15,
	DO14,
	DO13,
	DO12,
	DO11,
	DO10,
	DO9,
	DO8,
	DO7,
	DO6,
	DO5,
	DO4,
	DO3,
	DO2,
	DO1,
	DO0,
	DI31,
	DI30,
	DI29,
	DI28,
	DI27,
	DI26,
	DI25,
	DI24,
	DI23,
	DI22,
	DI21,
	DI20,
	DI19,
	DI18,
	DI17,
	DI16,
	DI15,
	DI14,
	DI13,
	DI12,
	DI11,
	DI10,
	DI9,
	DI8,
	DI7,
	DI6,
	DI5,
	DI4,
	DI3,
	DI2,
	DI1,
	DI0,
	A6,
	A5,
	A4,
	A3,
	A2,
	A1,
	A0,
	WEB,
	CSB,
	BE,
	TBE,
	TEST,
	BUB
	);

    input DI0 ;
    input DI1 ;
    input DI2 ;
    input DI3 ;
    input DI4 ;
    input DI5 ;
    input DI6 ;
    input DI7 ;
    input DI8 ;
    input DI9 ;
    input DI10 ;
    input DI11 ;
    input DI12 ;
    input DI13 ;
    input DI14 ;
    input DI15 ;
    input DI16 ;
    input DI17 ;
    input DI18 ;
    input DI19 ;
    input DI20 ;
    input DI21 ;
    input DI22 ;
    input DI23 ;
    input DI24 ;
    input DI25 ;
    input DI26 ;
    input DI27 ;
    input DI28 ;
    input DI29 ;
    input DI30 ;
    input DI31 ;
    input A0 ;
    input A1 ;
    input A2 ;
    input A3 ;
    input A4 ;
    input A5 ;
    input A6 ;
    input WEB ;
    input CSB ;
    input BE ;
    input TBE ;
    input TEST ;
    input BUB ;
    output DO0 ;
    output DO1 ;
    output DO2 ;
    output DO3 ;
    output DO4 ;
    output DO5 ;
    output DO6 ;
    output DO7 ;
    output DO8 ;
    output DO9 ;
    output DO10 ;
    output DO11 ;
    output DO12 ;
    output DO13 ;
    output DO14 ;
    output DO15 ;
    output DO16 ;
    output DO17 ;
    output DO18 ;
    output DO19 ;
    output DO20 ;
    output DO21 ;
    output DO22 ;
    output DO23 ;
    output DO24 ;
    output DO25 ;
    output DO26 ;
    output DO27 ;
    output DO28 ;
    output DO29 ;
    output DO30 ;
    output DO31 ;

    parameter BIT=32;
    parameter WORD=128;
    parameter ADD_BIT=7;

	wire[BIT-1:0] DI;
	wire[ADD_BIT-1:0] A;

/* -------------------------- */
reg [BIT-1:0] DO;
reg [BIT-1:0] tmp_DO;

reg [ADD_BIT-1:0] address;
reg intcsb, pre_BE,pre_TBE;

parameter all_X={BIT{1'bx}};

reg[BIT-1:0] memory[0:WORD-1];

// address "X" 
reg[ADD_BIT-1:0] x_add_num[0:ADD_BIT];
integer i,x_count;

   integer do_flag;

`ifdef  NEC_RTL_SIM
   parameter  tACC_w = 1029;  // Dummy value in Wrtie through
   parameter  tACC_r = 1375;  // Dummy value in Read mode
`endif  // NEC_RTL_SIM

/* -------------------------- */

	// ------------------------------------- specify check flg
	wire normal_mode;
	wire test_mode;

`ifdef  NEC_RTL_SIM
`else
	reg notifier_w;
	reg notifier_a;
	reg notifier_wr;
	reg notifier_period;

`endif

`ifdef  NEC_RTL_SIM
    initial begin
      PrintRTLMsg;
    end
`endif

	// ------------------------------------- dummy buffer
    buf ( _DI0, DI0 );
    buf ( _DI1, DI1 );
    buf ( _DI2, DI2 );
    buf ( _DI3, DI3 );
    buf ( _DI4, DI4 );
    buf ( _DI5, DI5 );
    buf ( _DI6, DI6 );
    buf ( _DI7, DI7 );
    buf ( _DI8, DI8 );
    buf ( _DI9, DI9 );
    buf ( _DI10, DI10 );
    buf ( _DI11, DI11 );
    buf ( _DI12, DI12 );
    buf ( _DI13, DI13 );
    buf ( _DI14, DI14 );
    buf ( _DI15, DI15 );
    buf ( _DI16, DI16 );
    buf ( _DI17, DI17 );
    buf ( _DI18, DI18 );
    buf ( _DI19, DI19 );
    buf ( _DI20, DI20 );
    buf ( _DI21, DI21 );
    buf ( _DI22, DI22 );
    buf ( _DI23, DI23 );
    buf ( _DI24, DI24 );
    buf ( _DI25, DI25 );
    buf ( _DI26, DI26 );
    buf ( _DI27, DI27 );
    buf ( _DI28, DI28 );
    buf ( _DI29, DI29 );
    buf ( _DI30, DI30 );
    buf ( _DI31, DI31 );
    buf ( _A0, A0 );
    buf ( _A1, A1 );
    buf ( _A2, A2 );
    buf ( _A3, A3 );
    buf ( _A4, A4 );
    buf ( _A5, A5 );
    buf ( _A6, A6 );
    buf ( _WEB, WEB );
    buf ( _CSB, CSB );
    buf ( _BE, BE );
    buf ( _TBE, TBE );
    buf ( _TEST, TEST );
    buf ( _BUB, BUB );

    buf ( DI[0], _DI0 );
    buf ( DI[1], _DI1 );
    buf ( DI[2], _DI2 );
    buf ( DI[3], _DI3 );
    buf ( DI[4], _DI4 );
    buf ( DI[5], _DI5 );
    buf ( DI[6], _DI6 );
    buf ( DI[7], _DI7 );
    buf ( DI[8], _DI8 );
    buf ( DI[9], _DI9 );
    buf ( DI[10], _DI10 );
    buf ( DI[11], _DI11 );
    buf ( DI[12], _DI12 );
    buf ( DI[13], _DI13 );
    buf ( DI[14], _DI14 );
    buf ( DI[15], _DI15 );
    buf ( DI[16], _DI16 );
    buf ( DI[17], _DI17 );
    buf ( DI[18], _DI18 );
    buf ( DI[19], _DI19 );
    buf ( DI[20], _DI20 );
    buf ( DI[21], _DI21 );
    buf ( DI[22], _DI22 );
    buf ( DI[23], _DI23 );
    buf ( DI[24], _DI24 );
    buf ( DI[25], _DI25 );
    buf ( DI[26], _DI26 );
    buf ( DI[27], _DI27 );
    buf ( DI[28], _DI28 );
    buf ( DI[29], _DI29 );
    buf ( DI[30], _DI30 );
    buf ( DI[31], _DI31 );

    buf ( A[0], _A0 );
    buf ( A[1], _A1 );
    buf ( A[2], _A2 );
    buf ( A[3], _A3 );
    buf ( A[4], _A4 );
    buf ( A[5], _A5 );
    buf ( A[6], _A6 );

	wire [BIT-1:0] dmy_DO;
	assign dmy_DO=DO;

    nmos ( DO0, dmy_DO[0], 1'b1 );
    nmos ( DO1, dmy_DO[1], 1'b1 );
    nmos ( DO2, dmy_DO[2], 1'b1 );
    nmos ( DO3, dmy_DO[3], 1'b1 );
    nmos ( DO4, dmy_DO[4], 1'b1 );
    nmos ( DO5, dmy_DO[5], 1'b1 );
    nmos ( DO6, dmy_DO[6], 1'b1 );
    nmos ( DO7, dmy_DO[7], 1'b1 );
    nmos ( DO8, dmy_DO[8], 1'b1 );
    nmos ( DO9, dmy_DO[9], 1'b1 );
    nmos ( DO10, dmy_DO[10], 1'b1 );
    nmos ( DO11, dmy_DO[11], 1'b1 );
    nmos ( DO12, dmy_DO[12], 1'b1 );
    nmos ( DO13, dmy_DO[13], 1'b1 );
    nmos ( DO14, dmy_DO[14], 1'b1 );
    nmos ( DO15, dmy_DO[15], 1'b1 );
    nmos ( DO16, dmy_DO[16], 1'b1 );
    nmos ( DO17, dmy_DO[17], 1'b1 );
    nmos ( DO18, dmy_DO[18], 1'b1 );
    nmos ( DO19, dmy_DO[19], 1'b1 );
    nmos ( DO20, dmy_DO[20], 1'b1 );
    nmos ( DO21, dmy_DO[21], 1'b1 );
    nmos ( DO22, dmy_DO[22], 1'b1 );
    nmos ( DO23, dmy_DO[23], 1'b1 );
    nmos ( DO24, dmy_DO[24], 1'b1 );
    nmos ( DO25, dmy_DO[25], 1'b1 );
    nmos ( DO26, dmy_DO[26], 1'b1 );
    nmos ( DO27, dmy_DO[27], 1'b1 );
    nmos ( DO28, dmy_DO[28], 1'b1 );
    nmos ( DO29, dmy_DO[29], 1'b1 );
    nmos ( DO30, dmy_DO[30], 1'b1 );
    nmos ( DO31, dmy_DO[31], 1'b1 );

/* ----------------------- specify */
	assign normal_mode=((_BUB!==0) && (_TEST!==1));
	assign test_mode=((_BUB!==0) && (_TEST!==0));

`ifdef  NEC_RTL_SIM
`else
     wire _check_n1;
     wire _check_t1;
     wire _check_n2;
     wire _check_t2;
     wire _check_n3;
     wire _check_t3;
     wire _check_bubn;
     wire _check_bubt;
     wire _check_test;
     wire _check_periodn;
     wire _check_periodt;
`endif

`ifdef  NEC_RTL_SIM
`else
     assign _check_n1=((_CSB!==1'b1) && (normal_mode==1));
     assign _check_t1=((_CSB!==1'b1) && (test_mode==1));
     assign _check_n2=((_CSB!==1'b1) && (_WEB!==1'b1) && (normal_mode==1));
     assign _check_t2=((_CSB!==1'b1) && (_WEB!==1'b1) && (test_mode==1));
     assign _check_n3=((normal_mode==1));
     assign _check_t3=((test_mode==1));
     assign _check_bubn=((_CSB!==1'b1) && (_TEST!==1'b1));
     assign _check_bubt=((_CSB!==1'b1) && (_TEST!==1'b0));
     assign _check_test=((_CSB!==1'b1) && (_BUB!==1'b0));
     buf #1 (pre_csb,intcsb);
     assign _check_periodn=((normal_mode==1));
     assign _check_periodt=((test_mode==1));
`endif  // NEC_RTL_SIM

`ifdef  NEC_RTL_SIM
`else
    specify
        specparam DMY_SPC=1:1:1;

	$setup ( posedge DI0, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI1, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI2, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI3, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI4, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI5, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI6, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI7, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI8, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI9, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI10, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI11, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI12, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI13, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI14, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI15, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI16, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI17, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI18, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI19, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI20, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI21, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI22, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI23, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI24, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI25, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI26, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI27, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI28, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI29, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI30, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI31, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI0, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI1, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI2, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI3, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI4, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI5, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI6, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI7, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI8, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI9, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI10, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI11, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI12, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI13, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI14, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI15, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI16, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI17, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI18, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI19, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI20, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI21, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI22, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI23, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI24, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI25, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI26, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI27, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI28, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI29, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI30, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( negedge DI31, posedge BE &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI0 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI1 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI2 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI3 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI4 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI5 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI6 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI7 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI8 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI9 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI10 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI11 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI12 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI13 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI14 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI15 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI16 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI17 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI18 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI19 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI20 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI21 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI22 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI23 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI24 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI25 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI26 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI27 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI28 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI29 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI30 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, posedge DI31 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI0 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI1 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI2 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI3 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI4 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI5 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI6 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI7 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI8 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI9 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI10 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI11 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI12 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI13 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI14 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI15 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI16 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI17 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI18 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI19 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI20 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI21 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI22 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI23 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI24 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI25 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI26 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI27 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI28 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI29 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI30 &&& _check_n2, DMY_SPC, notifier_w );
	$hold ( posedge BE, negedge DI31 &&& _check_n2, DMY_SPC, notifier_w );
	$setup ( posedge DI0, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI1, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI2, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI3, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI4, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI5, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI6, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI7, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI8, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI9, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI10, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI11, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI12, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI13, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI14, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI15, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI16, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI17, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI18, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI19, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI20, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI21, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI22, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI23, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI24, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI25, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI26, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI27, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI28, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI29, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI30, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( posedge DI31, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI0, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI1, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI2, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI3, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI4, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI5, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI6, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI7, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI8, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI9, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI10, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI11, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI12, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI13, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI14, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI15, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI16, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI17, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI18, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI19, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI20, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI21, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI22, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI23, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI24, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI25, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI26, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI27, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI28, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI29, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI30, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$setup ( negedge DI31, posedge TBE &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI0 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI1 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI2 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI3 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI4 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI5 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI6 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI7 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI8 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI9 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI10 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI11 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI12 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI13 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI14 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI15 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI16 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI17 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI18 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI19 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI20 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI21 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI22 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI23 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI24 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI25 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI26 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI27 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI28 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI29 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI30 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, posedge DI31 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI0 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI1 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI2 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI3 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI4 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI5 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI6 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI7 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI8 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI9 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI10 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI11 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI12 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI13 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI14 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI15 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI16 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI17 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI18 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI19 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI20 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI21 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI22 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI23 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI24 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI25 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI26 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI27 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI28 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI29 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI30 &&& _check_t2, DMY_SPC, notifier_w );
	$hold ( posedge TBE, negedge DI31 &&& _check_t2, DMY_SPC, notifier_w );

	$setup ( posedge A0, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A1, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A2, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A3, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A4, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A5, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A6, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A0, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A1, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A2, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A3, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A4, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A5, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( negedge A6, posedge BE &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A0 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A1 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A2 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A3 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A4 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A5 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, posedge A6 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A0 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A1 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A2 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A3 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A4 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A5 &&& _check_n1, DMY_SPC, notifier_a );
	$hold ( posedge BE, negedge A6 &&& _check_n1, DMY_SPC, notifier_a );
	$setup ( posedge A0, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A1, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A2, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A3, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A4, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A5, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( posedge A6, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A0, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A1, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A2, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A3, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A4, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A5, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$setup ( negedge A6, posedge TBE &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A0 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A1 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A2 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A3 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A4 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A5 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, posedge A6 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A0 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A1 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A2 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A3 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A4 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A5 &&& _check_t1, DMY_SPC, notifier_a );
	$hold ( posedge TBE, negedge A6 &&& _check_t1, DMY_SPC, notifier_a );

        $setup ( posedge WEB, posedge BE &&& _check_n1, DMY_SPC, notifier_w );
        $setup ( negedge WEB, posedge BE &&& _check_n1, DMY_SPC, notifier_w );
        $hold ( posedge BE, posedge WEB &&& _check_n1, DMY_SPC, notifier_w );
        $hold ( posedge BE, negedge WEB &&& _check_n1, DMY_SPC, notifier_w );
        $setup ( posedge WEB, posedge TBE &&& _check_t1, DMY_SPC, notifier_w );
        $setup ( negedge WEB, posedge TBE &&& _check_t1, DMY_SPC, notifier_w );
        $hold ( posedge TBE, posedge WEB &&& _check_t1, DMY_SPC, notifier_w );
        $hold ( posedge TBE, negedge WEB &&& _check_t1, DMY_SPC, notifier_w );

        $setup ( posedge CSB, posedge BE &&& _check_n3, DMY_SPC, notifier_a );
        $setup ( negedge CSB, posedge BE &&& _check_n3, DMY_SPC, notifier_a );
        $hold ( posedge BE, posedge CSB &&& _check_n3, DMY_SPC, notifier_a );
        $hold ( posedge BE, negedge CSB &&& _check_n3, DMY_SPC, notifier_a );
        $setup ( posedge CSB, posedge TBE &&& _check_t3, DMY_SPC, notifier_a );
        $setup ( negedge CSB, posedge TBE &&& _check_t3, DMY_SPC, notifier_a );
        $hold ( posedge TBE, posedge CSB &&& _check_t3, DMY_SPC, notifier_a );
        $hold ( posedge TBE, negedge CSB &&& _check_t3, DMY_SPC, notifier_a );

        $width ( posedge BE &&& _check_n1, DMY_SPC, 0, notifier_wr );
        $width ( negedge BE &&& _check_n1, DMY_SPC, 0, notifier_a );
        $width ( posedge TBE &&& _check_t1, DMY_SPC, 0, notifier_wr );
        $width ( negedge TBE &&& _check_t1, DMY_SPC, 0, notifier_a );

        $setup ( posedge BUB, posedge BE &&& _check_bubn, DMY_SPC, notifier_a );
        $setup ( negedge BUB, posedge BE &&& _check_bubn, DMY_SPC, notifier_a );
        $hold ( posedge BE &&& _check_bubn, posedge BUB, DMY_SPC, notifier_a );
        $hold ( posedge BE &&& _check_bubn, negedge BUB, DMY_SPC, notifier_a );
        $setup ( posedge BUB, negedge BE &&& _check_bubn, DMY_SPC, notifier_a );
        $setup ( negedge BUB, negedge BE &&& _check_bubn, DMY_SPC, notifier_a );
        $hold ( negedge BE &&& _check_bubn, posedge BUB, DMY_SPC, notifier_a );
        $hold ( negedge BE &&& _check_bubn, negedge BUB, DMY_SPC, notifier_a );

        $setup ( posedge TEST, posedge BE &&& _check_test, DMY_SPC, notifier_a );
        $setup ( negedge TEST, posedge BE &&& _check_test, DMY_SPC, notifier_a );
        $hold ( posedge BE &&& _check_test, posedge TEST, DMY_SPC, notifier_a );
        $hold ( posedge BE &&& _check_test, negedge TEST, DMY_SPC, notifier_a );
        $setup ( posedge TEST, negedge BE &&& _check_test, DMY_SPC, notifier_a );
        $setup ( negedge TEST, negedge BE &&& _check_test, DMY_SPC, notifier_a );
        $hold ( negedge BE &&& _check_test, posedge TEST, DMY_SPC, notifier_a );
        $hold ( negedge BE &&& _check_test, negedge TEST, DMY_SPC, notifier_a );

        $setup ( posedge BUB, posedge TBE &&& _check_bubt, DMY_SPC, notifier_a );
        $setup ( negedge BUB, posedge TBE &&& _check_bubt, DMY_SPC, notifier_a );
        $hold ( posedge TBE &&& _check_bubt, posedge BUB, DMY_SPC, notifier_a );
        $hold ( posedge TBE &&& _check_bubt, negedge BUB, DMY_SPC, notifier_a );
        $setup ( posedge BUB, negedge TBE &&& _check_bubt, DMY_SPC, notifier_a );
        $setup ( negedge BUB, negedge TBE &&& _check_bubt, DMY_SPC, notifier_a );
        $hold ( negedge TBE &&& _check_bubt, posedge BUB, DMY_SPC, notifier_a );
        $hold ( negedge TBE &&& _check_bubt, negedge BUB, DMY_SPC, notifier_a );

        $setup ( posedge TEST, posedge TBE &&& _check_test, DMY_SPC, notifier_a );
        $setup ( negedge TEST, posedge TBE &&& _check_test, DMY_SPC, notifier_a );
        $hold ( posedge TBE &&& _check_test, posedge TEST, DMY_SPC, notifier_a );
        $hold ( posedge TBE &&& _check_test, negedge TEST, DMY_SPC, notifier_a );
        $setup ( posedge TEST, negedge TBE &&& _check_test, DMY_SPC, notifier_a );
        $setup ( negedge TEST, negedge TBE &&& _check_test, DMY_SPC, notifier_a );
        $hold ( negedge TBE &&& _check_test, posedge TEST, DMY_SPC, notifier_a );
        $hold ( negedge TBE &&& _check_test, negedge TEST, DMY_SPC, notifier_a );

        $period ( posedge BE &&& _check_periodn, DMY_SPC, notifier_period );
        $period ( posedge TBE &&& _check_periodt, DMY_SPC, notifier_period );

// <-- new spec

	if (BE&&WEB) ( BE => DO0 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO1 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO2 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO3 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO4 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO5 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO6 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO7 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO8 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO9 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO10 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO11 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO12 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO13 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO14 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO15 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO16 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO17 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO18 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO19 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO20 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO21 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO22 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO23 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO24 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO25 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO26 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO27 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO28 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO29 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO30 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&WEB) ( BE => DO31 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO0 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO1 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO2 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO3 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO4 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO5 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO6 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO7 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO8 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO9 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO10 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO11 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO12 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO13 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO14 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO15 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO16 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO17 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO18 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO19 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO20 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO21 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO22 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO23 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO24 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO25 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO26 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO27 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO28 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO29 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO30 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&WEB) ( TBE => DO31 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO0 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO1 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO2 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO3 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO4 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO5 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO6 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO7 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO8 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO9 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO10 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO11 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO12 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO13 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO14 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO15 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO16 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO17 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO18 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO19 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO20 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO21 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO22 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO23 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO24 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO25 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO26 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO27 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO28 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO29 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO30 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (BE&&!WEB) ( BE => DO31 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO0 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO1 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO2 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO3 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO4 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO5 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO6 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO7 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO8 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO9 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO10 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO11 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO12 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO13 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO14 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO15 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO16 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO17 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO18 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO19 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO20 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO21 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO22 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO23 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO24 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO25 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO26 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO27 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO28 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO29 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO30 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );
	if (TBE&&!WEB) ( TBE => DO31 ) = ( DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC, DMY_SPC );

        // ------------ ( BUB,TEST,BUNRI => DO,TDO )= ?->"x" or "x"->? or Z
	(BUB=> DO0)=1;
	(BUB=> DO1)=1;
	(BUB=> DO2)=1;
	(BUB=> DO3)=1;
	(BUB=> DO4)=1;
	(BUB=> DO5)=1;
	(BUB=> DO6)=1;
	(BUB=> DO7)=1;
	(BUB=> DO8)=1;
	(BUB=> DO9)=1;
	(BUB=> DO10)=1;
	(BUB=> DO11)=1;
	(BUB=> DO12)=1;
	(BUB=> DO13)=1;
	(BUB=> DO14)=1;
	(BUB=> DO15)=1;
	(BUB=> DO16)=1;
	(BUB=> DO17)=1;
	(BUB=> DO18)=1;
	(BUB=> DO19)=1;
	(BUB=> DO20)=1;
	(BUB=> DO21)=1;
	(BUB=> DO22)=1;
	(BUB=> DO23)=1;
	(BUB=> DO24)=1;
	(BUB=> DO25)=1;
	(BUB=> DO26)=1;
	(BUB=> DO27)=1;
	(BUB=> DO28)=1;
	(BUB=> DO29)=1;
	(BUB=> DO30)=1;
	(BUB=> DO31)=1;
	(TEST=> DO0)=1;
	(TEST=> DO1)=1;
	(TEST=> DO2)=1;
	(TEST=> DO3)=1;
	(TEST=> DO4)=1;
	(TEST=> DO5)=1;
	(TEST=> DO6)=1;
	(TEST=> DO7)=1;
	(TEST=> DO8)=1;
	(TEST=> DO9)=1;
	(TEST=> DO10)=1;
	(TEST=> DO11)=1;
	(TEST=> DO12)=1;
	(TEST=> DO13)=1;
	(TEST=> DO14)=1;
	(TEST=> DO15)=1;
	(TEST=> DO16)=1;
	(TEST=> DO17)=1;
	(TEST=> DO18)=1;
	(TEST=> DO19)=1;
	(TEST=> DO20)=1;
	(TEST=> DO21)=1;
	(TEST=> DO22)=1;
	(TEST=> DO23)=1;
	(TEST=> DO24)=1;
	(TEST=> DO25)=1;
	(TEST=> DO26)=1;
	(TEST=> DO27)=1;
	(TEST=> DO28)=1;
	(TEST=> DO29)=1;
	(TEST=> DO30)=1;
	(TEST=> DO31)=1;
    endspecify
`endif  // NEC_RTL_SIM

/* ************************** */

// ----------------------------------------- timing error
`ifdef  NEC_RTL_SIM
`else
always @ ( notifier_w ) begin
    address=A;
    WriteAddressXCount;
    if (x_count !== 0) WriteAddX;
    else memory[address]=all_X;
    disable FUNCT_NORMAL;
    disable FUNCT_TEST;
    DO=all_X;
end

always @ ( notifier_a ) begin
    address=A;
    MemWriteX;
    disable FUNCT_NORMAL;
    disable FUNCT_TEST;
    DO=all_X;
end

always @ ( notifier_period ) begin
    if ( pre_csb !== 1 ) begin
    address=A;
    MemWriteX;
    disable FUNCT_NORMAL;
    disable FUNCT_TEST;
    DO=all_X;
    end
end

always @ ( notifier_wr ) begin
    address=A;
    if (_WEB!==1'b1) begin
        WriteAddressXCount;
        if (x_count !== 0) WriteAddX;
        else memory[address]=all_X;
    end
    disable FUNCT_NORMAL;
    disable FUNCT_TEST;
    DO=all_X;
end
`endif  // NEC_RTL_SIM

// ----------------------------------------- ram function

always @ ( _TEST ) begin
	   pre_BE = _BE ;
	   pre_TBE = _TBE ;
	   if ( _BUB!==1'b0 && (_BE!==1'b0 || _TBE!==1'b0)
					&& intcsb!==1'b1) begin
    		MemWriteX;
    		DO=all_X;
    		tmp_DO=all_X;
	   end
	   else if ( _TEST===1'bx) begin
    		DO=all_X;
    		tmp_DO=all_X;
    		if ( _CSB!==1'b1 && (_BE!==1'b0 || _TBE!==1'b0) ) begin
	  	   MemWriteX;
    	  	   tmp_DO=all_X;
          	   DO=all_X;
    		end
	   end
end

always @ ( _BUB ) begin
	   pre_BE = _BE ;
	   pre_TBE = _TBE ;
	   if ( _BUB===1'bx) begin
    		MemWriteX;
    		DO=all_X;
    		tmp_DO=all_X;
	   end
	   else if ( _TEST!==1'b1 && _BE!==1'b0 && intcsb!==1'b1) begin
    		MemWriteX;
    		DO=all_X;
    		tmp_DO=all_X;
	   end
	   else if ( _TEST!==1'b0 && _TBE!==1'b0 && intcsb!==1'b1) begin
    		MemWriteX;
    		DO=all_X;
    		tmp_DO=all_X;
	   end
	   else if ( _BUB===1'b0) begin
		DO=all_X;
	   end
end

// ---------------------------------------- _CSB change on BE/TBE=X
always @ ( _CSB ) begin
  if ((_BE===1'bx) && (_CSB!==1'b1) && (_BUB!==1'b0) && (_TEST!==1'b1)) begin
    MemWriteX;
    DO=all_X;
    tmp_DO=all_X;
  end
  if ((_TBE===1'bx) && (_CSB!==1'b1) && (_BUB!==1'b0) && (_TEST!==1'b0)) begin
    MemWriteX;
    DO=all_X;
    tmp_DO=all_X;
  end
end
// ---------------------------------------- _WEB change on BE/TBE=X
always @ ( _WEB ) begin
  if ((_BE===1'bx) && (_CSB!==1'b1) && (_WEB!==1'b1) 
			&& (_BUB!==1'b0) && (_TEST!==1'b1)) begin
    MemWriteX;
    DO=all_X;
    tmp_DO=all_X;
  end
  if ((_TBE===1'bx) && (_CSB!==1'b1) && (_WEB!==1'b1)
			&& (_BUB!==1'b0) && (_TEST!==1'b0)) begin
    MemWriteX;
    DO=all_X;
    tmp_DO=all_X;
  end
end

// ---------------------------------- function
always @ ( _BE ) begin : FUNCT_NORMAL
  if ( (_BUB===1'b1) && (_TEST===1'b0)) begin // --- normal mode
     casez ( {pre_BE,_BE} )
	2'b01 : begin // -------------- 0->1 posedge
           address=A;
           intcsb=_CSB;
	   ////
	   if ( _CSB===1'b0) begin
	      if (address > (WORD-1)) PrintWMsg_1;
	      WriteAddressXCount;
	      ///
	      if (x_count !== 0) begin
		WriteAddX;
            	DO=all_X;
	      end
	      ///
	      else begin
	         //
	         if ( _WEB===1'b0) begin
            	    memory[address]=DI;
            	    tmp_DO=DI;

// add
`ifdef  NEC_RTL_SIM
                   #(tACC_w)  DO = tmp_DO;
`else
                   if ( DO === tmp_DO ) begin
                       DO=tmp_DO;
                   end
                   else begin
                     if (DO===all_X) begin
                       DO=tmp_DO;
                     end
                     else begin
			DO={BIT{1'bx}};
			#1;
			if (DO===all_X) begin
			   DO=tmp_DO;
			end
                     end
	           end
`endif  // NEC_RTL_SIM
                 end
// add
	         //
	         else if ( _WEB===1'b1) begin
            	    tmp_DO=memory[address];

// add
`ifdef  NEC_RTL_SIM
                   #(tACC_r)  DO = tmp_DO;
`else
                   if ( DO === tmp_DO ) begin
                       DO=tmp_DO;
                   end
                   else begin
                     if (DO===all_X) begin
                       DO=tmp_DO;
                     end
                     else begin
			DO={BIT{1'bx}};
			#1;
			if (DO===all_X) begin
			   DO=tmp_DO;
			end
		     end
	           end
`endif  // NEC_RTL_SIM
                 end
// add
	         //
	         else begin
            	    memory[address]=all_X;
    		    tmp_DO=all_X;
                    DO=all_X;
	         end
	         //
	      end
	      ///
	   end
	   ////
	   else if ( _CSB===1'bx) begin
	         MemWriteX;
    		 tmp_DO=all_X;
                 DO=all_X;
	   end
	   ////
	end

        2'bx1 ,
        2'b?x : begin // -------------- x edge
           intcsb=1'bx;
	   if ( _CSB!==1'b1) begin
	         MemWriteX;
    		 tmp_DO=all_X;
                 DO=all_X;
	   end
	end
     endcase
	   pre_BE = _BE ;
  end
  else if ( (_BUB===1'b1) && (_TEST===1'bx)) begin // --- unkown mode
    if ( _CSB!==1'b1 && _BE!==1'b1) begin
	  pre_BE = _BE ;
          intcsb=1'bx;
	  MemWriteX;
    	  tmp_DO=all_X;
          DO=all_X;
    end
  end

end

// ---------------------------------- Test mode function (mode==4 only)
always @ ( _TBE ) begin : FUNCT_TEST
  if ( (_BUB===1'b1) && (_TEST===1'b1)) begin // --- normal mode
     casez ( {pre_TBE,_TBE} )
	2'b01 : begin // -------------- 0->1 posedge
           address=A;
           intcsb=_CSB;
	   ////
	   if ( _CSB===1'b0) begin
	      if (address > (WORD-1)) PrintWMsg_1;
	      WriteAddressXCount;
	      ///
	      if (x_count !== 0) begin
		WriteAddX;
            	DO=all_X;
	      end
	      ///
	      else begin
	         //
	         if ( _WEB===1'b0) begin
            	    memory[address]=DI;
            	    tmp_DO=DI;

// add
`ifdef  NEC_RTL_SIM
                   #(tACC_w)  DO = tmp_DO;
`else
                   if ( DO === tmp_DO ) begin
                       DO=tmp_DO;
                   end
                   else begin
                     if (DO===all_X) begin
                       DO=tmp_DO;
                     end
                     else begin
			DO={BIT{1'bx}};
			#1;
			if (DO===all_X) begin
			   DO=tmp_DO;
			end
                     end
	           end
`endif  // NEC_RTL_SIM
                 end
// add
	         //
	         else if ( _WEB===1'b1) begin
            	    tmp_DO=memory[address];

// add
`ifdef  NEC_RTL_SIM
                   #(tACC_r)  DO = tmp_DO;
`else
                   if ( DO === tmp_DO ) begin
                       DO=tmp_DO;
                   end
                   else begin
                     if (DO===all_X) begin
                       DO=tmp_DO;
                     end
                     else begin
			DO=all_X;
			#1;
			if (DO===all_X) begin
			   DO=tmp_DO;
			end
		     end
	          end
`endif  // NEC_RTL_SIM
                 end
// add
	         //
	         else begin
            	    memory[address]=all_X;
    		    tmp_DO=all_X;
                    DO=all_X;
	         end
	         //
	      end
	      ///
	   end
	   ////
	   else if ( _CSB===1'bx) begin
	         MemWriteX;
    		 tmp_DO=all_X;
                 DO=all_X;
	   end
	   ////
	end

        2'bx1 ,
        2'b?x : begin // -------------- x edge
           intcsb=1'bx;
	   if ( _CSB!==1'b1) begin
	         MemWriteX;
    		 tmp_DO=all_X;
                 DO=all_X;
	   end
	end
     endcase
	   pre_TBE = _TBE ;
  end
  else if ( (_BUB===1'b1) && (_TEST===1'bx)) begin // --- unkown mode
    if ( _CSB!==1'b1 && _TBE!==1'b1) begin
	  pre_TBE = _TBE ;
          intcsb=1'bx;
	  MemWriteX;
    	  tmp_DO=all_X;
          DO=all_X;
    end
  end

end

// ---------------------------------- Test mode function (mode==4 only)

/* ----------------------------------- "x" conunt task */
task WriteAddressXCount;
begin
    x_count=0;                              // write address "x" count
    for (i=0;i<ADD_BIT;i=i+1) begin
        if (address[i]===1'bx) begin
            x_add_num[x_count]=i;
            x_count=x_count+1;
        end
    end
end
endtask

/* ----------------------------------- find address & write task */
task WriteAddX;

reg[ADD_BIT-1:0] new_address;
reg[ADD_BIT-1:0] b_count,num_count;
integer j,k,m;

begin
    new_address=address;
    b_count=(2<<(x_count-1))-1;
    num_count={ADD_BIT{1'b0}};
    for (j=0;j<=b_count;j=j+1) begin
        for (k=0;k<x_count;k=k+1) begin
            new_address[x_add_num[k]] = num_count[k];
            memory[new_address]=all_X;
        end
        num_count=num_count+1;
    end
end
endtask

/* ------------ write x in all address */
task MemWriteX;
integer i;
begin
  for(i=0;i<WORD;i=i+1) memory[i]=all_X;
end
endtask

/* ------------ access invalid address warning message */
task PrintWMsg_1;
begin
	//$display( $time,,"%m #### You are accessing the invalid address, please read the users manual. There is same possibility of that quiescent current(iddq) will flows.\n");
	$display( $time,,"%m #### You are accessing the invalid address.\n");
end
endtask

`ifdef  NEC_RTL_SIM
task  PrintRTLMsg;
begin
	$display("===============================================");
	$display("Behavior Function Mode : WBSRAMSHS128W32C3");
	$display("Instance       : %m");
	$display("Abstract Delay :");
	$display("   tACC (Read) : %d",tACC_r);
	$display("   tACC (Write): %d",tACC_w);
 	$display("===============================================");
end
endtask
`endif


/* ************************** */

endmodule
`ifdef verifault
    `nosuppress_faults
    `disable_portfaults
`endif
`endcelldefine