flift.vqm

实现简易4层电梯控制核心模块

//
// Written by Synplify
// Synplify 8.6.2, Build 027R.
// Mon Jul 14 14:46:47 2008
//
// Source file index table:
// Object locations will have the form <file>:<line>
// file 0 "noname"
// file 1 "\d:\program files\synplicity\fpga_862\lib\vhd\std.vhd "
// file 2 "\e:\my synplyfy\lift\flift.vhd "
// file 3 "\d:\program files\synplicity\fpga_862\lib\vhd\std1164.vhd "
// file 4 "\d:\program files\synplicity\fpga_862\lib\vhd\arith.vhd "
// file 5 "\d:\program files\synplicity\fpga_862\lib\vhd\unsigned.vhd "

// VQM4.1+ 
module FLIFT (
  CLK,
  RST,
  UP1,
  UP2,
  UP3,
  DOWN2,
  DOWN3,
  DOWN4,
  STOP1,
  STOP2,
  STOP3,
  STOP4,
  UPLIGHT,
  DOWNLIGHT,
  STOPLIGHT,
  UDSIG,
  POSITION,
  DOORLIGHT
);
input CLK ;
input RST ;
input UP1 ;
input UP2 ;
input UP3 ;
input DOWN2 ;
input DOWN3 ;
input DOWN4 ;
input STOP1 ;
input STOP2 ;
input STOP3 ;
input STOP4 ;
output [4:1] UPLIGHT ;
output [4:1] DOWNLIGHT ;
output [4:1] STOPLIGHT ;
output UDSIG ;
output [2:0] POSITION ;
output DOORLIGHT ;
wire CLK ;
wire RST ;
wire UP1 ;
wire UP2 ;
wire UP3 ;
wire DOWN2 ;
wire DOWN3 ;
wire DOWN4 ;
wire STOP1 ;
wire STOP2 ;
wire STOP3 ;
wire STOP4 ;
wire UDSIG ;
wire DOORLIGHT ;
wire [3:0] Q;
wire [3:0] STATE;
wire [0:0] STATE_ns_i_a2_i_o2_2;
wire [2:2] un1_POSITION_8_i_a2_1;
wire [3:3] STATE_ns_i_a2_i_0_a;
wire [2:2] STATE_ns_0_a2_i_a2;
wire [0:0] STATE_ns_i_a2_i_o2;
wire [1:1] STATE_ns_i_a2_i_0;
wire [0:0] STATE_ns_i_a2_i_a2_0;
wire [0:0] STATE_ns_i_a2_i_a2;
wire [0:0] STATE_ns_i_a2_i_a;
wire [2:0] POSITIONz;
wire [1:0] un1_POSITION_8_0_a;
wire [2:2] un1_POSITION_8_i_o2;
wire [2:0] CONT_pos;
wire [1:0] un1_pos_3_1_a;
wire [4:1] STOPLIGHT_1;
wire [4:2] DOWNLIGHT_1;
wire [0:0] un1_down4_1_i_0;
wire [3:1] UPLIGHT_1;
wire [0:0] un1_up3_1_i_0;
wire [0:0] un3_down3_1_i_0;
wire [0:0] un3_up2_1_i_0;
wire [0:0] un1_down2_1_i_0;
wire [0:0] un1_up1_1_i_0;
wire [3:3] STATE_ns_i_a2_i_0_a2_0_1;
wire [3:3] STATE_ns_i_a2_i_0_o2;
wire [0:0] STATE_ns_i_a2_i_o2_0;
wire [0:0] STATE_ns_i_a2_i_o2_2_a;
wire [0:0] STATE_ns_i_a2_i_o2_0_a;
wire [0:0] un1_down2_1_i_0_a2_0;
wire [0:0] un3_down3_1_i_0_a2;
wire [0:0] un1_up3_1_i_0_a;
wire [0:0] un1_down4_1_i_0_a;
wire [0:0] un1_up1_1_i_0_a2_0_0;
wire GND ;
wire VCC ;
wire RST_c_i_i ;
wire RST_c ;
wire un1_rst_1_0_0_o2 ;
wire CLK_c ;
wire DOORLIGHTz ;
wire UDSIGz ;
wire un1_rst_1_0_0 ;
wire un1_udsig_1_0_0_0 ;
wire STOPLIGHT_0_sqmuxa_3_i_0 ;
wire STOPLIGHT_0_sqmuxa_3_i_0_a2 ;
wire CLEARUP ;
wire STOPLIGHT_0_sqmuxa_2_i_0 ;
wire STOPLIGHT_0_sqmuxa_2_i_0_a2 ;
wire STOPLIGHT_0_sqmuxa_1_i_0 ;
wire STOPLIGHT_0_sqmuxa_1_i_0_a2 ;
wire STOPLIGHT_0_sqmuxa_i_0 ;
wire STOP1_c ;
wire un1_STATE_3_0_0_0 ;
wire un1_udsig_1_0_0_0_a2_0 ;
wire un1_udsig_1_0_0_0_a2_1 ;
wire un1_udsig_1_0_0_0_o2 ;
wire un1_udsig_1_0_0_0_a2_1_0 ;
wire un1_udsig_1_0_0_0_o2_0_0 ;
wire un1_udsig_1_0_0_0_a2_3 ;
wire un1_udsig_1_0_0_0_o2_0_0_a ;
wire un1_udsig_1_0_0_o2_1 ;
wire un1_udsig_1_0_0_o2_2 ;
wire un1_rst_1_0_0_a ;
wire DOWN2_c ;
wire DOWN3_c ;
wire UP1_c ;
wire UP2_c ;
wire UP3_c ;
wire STOP2_c ;
wire STOP3_c ;
wire DOWN4_c ;
wire STOP4_c ;
wire N_81 ;
wire N_80 ;
wire N_79 ;
wire N_78 ;
wire N_77 ;
wire N_76 ;
wire N_75 ;
wire N_74 ;
wire N_73 ;
wire N_72 ;
//@1:1
  assign VCC = 1'b1;
//@1:1
  assign GND = 1'b0;
  assign  RST_c_i_i = ~ RST_c;
// @2:40
  cyclone_lcell STATE_3__Z (
	.regout(STATE[3]),
	.clk(Q[3]),
	.dataa(STATE[3]),
	.datab(STATE_ns_i_a2_i_o2_2[0]),
	.datac(un1_POSITION_8_i_a2_1[2]),
	.datad(STATE_ns_i_a2_i_0_a[3]),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam STATE_3__Z.operation_mode="normal";
defparam STATE_3__Z.output_mode="reg_only";
defparam STATE_3__Z.lut_mask="e0ff";
defparam STATE_3__Z.synch_mode="off";
defparam STATE_3__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell STATE_2__Z (
	.regout(STATE[2]),
	.clk(Q[3]),
	.dataa(STATE[3]),
	.datab(un1_rst_1_0_0_o2),
	.datac(STATE_ns_0_a2_i_a2[2]),
	.datad(STATE_ns_i_a2_i_o2[0]),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam STATE_2__Z.operation_mode="normal";
defparam STATE_2__Z.output_mode="reg_only";
defparam STATE_2__Z.lut_mask="0e0f";
defparam STATE_2__Z.synch_mode="off";
defparam STATE_2__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell STATE_1__Z (
	.regout(STATE[1]),
	.clk(Q[3]),
	.dataa(STATE[2]),
	.datab(STATE[3]),
	.datac(STATE_ns_i_a2_i_0[1]),
	.datad(STATE_ns_i_a2_i_o2[0]),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam STATE_1__Z.operation_mode="normal";
defparam STATE_1__Z.output_mode="reg_only";
defparam STATE_1__Z.lut_mask="f1f0";
defparam STATE_1__Z.synch_mode="off";
defparam STATE_1__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell STATE_0__Z (
	.regout(STATE[0]),
	.clk(Q[3]),
	.dataa(STATE[0]),
	.datab(STATE_ns_i_a2_i_a2_0[0]),
	.datac(STATE_ns_i_a2_i_a2[0]),
	.datad(STATE_ns_i_a2_i_a[0]),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam STATE_0__Z.operation_mode="normal";
defparam STATE_0__Z.output_mode="reg_only";
defparam STATE_0__Z.lut_mask="fefc";
defparam STATE_0__Z.synch_mode="off";
defparam STATE_0__Z.sum_lutc_input="datac";
// @2:28
  cyclone_lcell Q_3__Z (
	.regout(Q[3]),
	.clk(CLK_c),
	.dataa(Q[0]),
	.datab(Q[1]),
	.datac(Q[2]),
	.datad(Q[3]),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam Q_3__Z.operation_mode="normal";
defparam Q_3__Z.output_mode="reg_only";
defparam Q_3__Z.lut_mask="7f80";
defparam Q_3__Z.synch_mode="off";
defparam Q_3__Z.sum_lutc_input="datac";
// @2:28
  cyclone_lcell Q_2__Z (
	.regout(Q[2]),
	.clk(CLK_c),
	.dataa(Q[0]),
	.datab(Q[1]),
	.datac(Q[2]),
	.datad(VCC),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam Q_2__Z.operation_mode="normal";
defparam Q_2__Z.output_mode="reg_only";
defparam Q_2__Z.lut_mask="7878";
defparam Q_2__Z.synch_mode="off";
defparam Q_2__Z.sum_lutc_input="datac";
// @2:28
  cyclone_lcell Q_1__Z (
	.regout(Q[1]),
	.clk(CLK_c),
	.dataa(Q[1]),
	.datab(Q[0]),
	.datac(VCC),
	.datad(VCC),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam Q_1__Z.operation_mode="normal";
defparam Q_1__Z.output_mode="reg_only";
defparam Q_1__Z.lut_mask="6666";
defparam Q_1__Z.synch_mode="off";
defparam Q_1__Z.sum_lutc_input="datac";
// @2:28
  cyclone_lcell Q_0__Z (
	.regout(Q[0]),
	.clk(CLK_c),
	.dataa(Q[0]),
	.datab(VCC),
	.datac(VCC),
	.datad(VCC),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam Q_0__Z.operation_mode="normal";
defparam Q_0__Z.output_mode="reg_only";
defparam Q_0__Z.lut_mask="5555";
defparam Q_0__Z.synch_mode="off";
defparam Q_0__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell POSITION_2__Z (
	.regout(POSITIONz[2]),
	.clk(Q[3]),
	.dataa(POSITIONz[2]),
	.datab(un1_POSITION_8_0_a[0]),
	.datac(un1_POSITION_8_i_o2[2]),
	.datad(un1_POSITION_8_i_a2_1[2]),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam POSITION_2__Z.operation_mode="normal";
defparam POSITION_2__Z.output_mode="reg_only";
defparam POSITION_2__Z.lut_mask="e6a0";
defparam POSITION_2__Z.synch_mode="off";
defparam POSITION_2__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell POSITION_1__Z (
	.regout(POSITIONz[1]),
	.clk(Q[3]),
	.dataa(POSITIONz[1]),
	.datab(un1_POSITION_8_0_a[1]),
	.datac(un1_POSITION_8_i_o2[2]),
	.datad(un1_POSITION_8_i_a2_1[2]),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam POSITION_1__Z.operation_mode="normal";
defparam POSITION_1__Z.output_mode="reg_only";
defparam POSITION_1__Z.lut_mask="e6a0";
defparam POSITION_1__Z.synch_mode="off";
defparam POSITION_1__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell POSITION_0__Z (
	.regout(POSITIONz[0]),
	.clk(Q[3]),
	.dataa(POSITIONz[0]),
	.datab(un1_POSITION_8_i_o2[2]),
	.datac(un1_POSITION_8_i_a2_1[2]),
	.datad(VCC),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam POSITION_0__Z.operation_mode="normal";
defparam POSITION_0__Z.output_mode="reg_only";
defparam POSITION_0__Z.lut_mask="1b1b";
defparam POSITION_0__Z.synch_mode="off";
defparam POSITION_0__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell CONT_pos_2__Z (
	.regout(CONT_pos[2]),
	.clk(Q[3]),
	.dataa(CONT_pos[2]),
	.datab(un1_pos_3_1_a[0]),
	.datac(un1_POSITION_8_i_o2[2]),
	.datad(un1_POSITION_8_i_a2_1[2]),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam CONT_pos_2__Z.operation_mode="normal";
defparam CONT_pos_2__Z.output_mode="reg_only";
defparam CONT_pos_2__Z.lut_mask="e6a0";
defparam CONT_pos_2__Z.synch_mode="off";
defparam CONT_pos_2__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell CONT_pos_1__Z (
	.regout(CONT_pos[1]),
	.clk(Q[3]),
	.dataa(CONT_pos[1]),
	.datab(un1_pos_3_1_a[1]),
	.datac(un1_POSITION_8_i_o2[2]),
	.datad(un1_POSITION_8_i_a2_1[2]),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam CONT_pos_1__Z.operation_mode="normal";
defparam CONT_pos_1__Z.output_mode="reg_only";
defparam CONT_pos_1__Z.lut_mask="e6a0";
defparam CONT_pos_1__Z.synch_mode="off";
defparam CONT_pos_1__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell CONT_pos_0__Z (
	.regout(CONT_pos[0]),
	.clk(Q[3]),
	.dataa(CONT_pos[0]),
	.datab(un1_POSITION_8_i_o2[2]),
	.datac(un1_POSITION_8_i_a2_1[2]),
	.datad(VCC),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam CONT_pos_0__Z.operation_mode="normal";
defparam CONT_pos_0__Z.output_mode="reg_only";
defparam CONT_pos_0__Z.lut_mask="1b1b";
defparam CONT_pos_0__Z.synch_mode="off";
defparam CONT_pos_0__Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell DOORLIGHT_Z (
	.regout(DOORLIGHTz),
	.clk(Q[3]),
	.dataa(STATE[0]),
	.datab(DOORLIGHTz),
	.datac(STATE[2]),
	.datad(STATE[1]),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(RST_c_i_i),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam DOORLIGHT_Z.operation_mode="normal";
defparam DOORLIGHT_Z.output_mode="reg_only";
defparam DOORLIGHT_Z.lut_mask="c4cf";
defparam DOORLIGHT_Z.synch_mode="off";
defparam DOORLIGHT_Z.sum_lutc_input="datac";
// @2:40
  cyclone_lcell UDSIG_Z (
	.regout(UDSIGz),
	.clk(Q[3]),
	.dataa(un1_rst_1_0_0),
	.datab(un1_udsig_1_0_0_0),
	.datac(UDSIGz),
	.datad(VCC),
	.aclr(GND),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam UDSIG_Z.operation_mode="normal";
defparam UDSIG_Z.output_mode="reg_only";
defparam UDSIG_Z.lut_mask="d8d8";
defparam UDSIG_Z.synch_mode="off";
defparam UDSIG_Z.sum_lutc_input="datac";
// @2:145
  cyclone_lcell STOPLIGHT_1_4__Z (
	.regout(STOPLIGHT_1[4]),
	.clk(Q[0]),
	.dataa(STOPLIGHT_0_sqmuxa_3_i_0),
	.datab(STOPLIGHT_0_sqmuxa_3_i_0_a2),
	.datac(STOPLIGHT_1[4]),
	.datad(VCC),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam STOPLIGHT_1_4__Z.operation_mode="normal";
defparam STOPLIGHT_1_4__Z.output_mode="reg_only";
defparam STOPLIGHT_1_4__Z.lut_mask="d8d8";
defparam STOPLIGHT_1_4__Z.synch_mode="off";
defparam STOPLIGHT_1_4__Z.sum_lutc_input="datac";
// @2:145
  cyclone_lcell DOWNLIGHT_1_4__Z (
	.regout(DOWNLIGHT_1[4]),
	.clk(Q[0]),
	.dataa(un1_down4_1_i_0[0]),
	.datab(CLEARUP),
	.datac(DOWNLIGHT_1[4]),
	.datad(VCC),
	.aclr(RST_c),
	.sclr(GND),
	.sload(GND),
	.ena(VCC),
	.inverta(GND),
	.aload(GND),
	.regcascin(GND)
);
defparam DOWNLIGHT_1_4__Z.operation_mode="normal";
defparam DOWNLIGHT_1_4__Z.output_mode="reg_only";
defparam DOWNLIGHT_1_4__Z.lut_mask="7272";
defparam DOWNLIGHT_1_4__Z.synch_mode="off";
defparam DOWNLIGHT_1_4__Z.sum_lutc_input="datac";
// @2:145
  cyclone_lcell UPLIGHT_1_3__Z (
	.regout(UPLIGHT_1[3]),
	.clk(Q[0]),
	.dataa(un1_up3_1_i_0[0]),
	.datab(CLEARUP),
	.datac(UPLIGHT_1[3]),