flift.tap

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

n work FLIFT behav;

gi CLEARDN;
gp C;
ap .is_clock 1;

gi CLEARUP;
ai .slack_logic 997.366 ;
gp Q[0];
ap .slack_logic 997.366 ;
gp D[0];
ap .slack_logic 997.969 ;
gp C;
ap .is_clock 1;

gi DOORLIGHT;
ai .slack_logic 994.495 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.495 ;
gp C;
ap .is_clock 1;

gi UPLIGHT_1[1];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 995.582 ;
gp C;
ap .is_clock 1;

gi DOWNLIGHT_1[2];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 995.254 ;
gp C;
ap .is_clock 1;

gi UPLIGHT_1[2];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 995.254 ;
gp C;
ap .is_clock 1;

gi DOWNLIGHT_1[3];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 995.254 ;
gp C;
ap .is_clock 1;

gi STATE[0:9];
ai .slack_logic 995.598 ;
gp C;
ap .is_clock 1;

gi Q[3:0];
ai .slack_logic 998.916 ;
gp Q[0];
ap .slack_logic 998.916 ;
gp Q[1];
ap .slack_logic 998.916 ;
gp Q[2];
ap .slack_logic 998.916 ;
gp Q[3];
ap .slack_logic 998.916 ;
gp D[0];
ap .slack_logic 998.916 ;
gp D[1];
ap .slack_logic 998.916 ;
gp D[2];
ap .slack_logic 998.916 ;
gp D[3];
ap .slack_logic 998.916 ;
gp C;
ap .is_clock 1;

gi STOPLIGHT_1[1];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 995.213 ;
gp C;
ap .is_clock 1;

gi STOPLIGHT_1[2];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.737 ;
gp C;
ap .is_clock 1;

gi STOPLIGHT_1[3];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.737 ;
gp C;
ap .is_clock 1;

gi UPLIGHT_1[3];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.822 ;
gp C;
ap .is_clock 1;

gi DOWNLIGHT_1[4];
ai .slack_logic 994.644 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.674 ;
gp C;
ap .is_clock 1;

gi STOPLIGHT_1[4];
ai .slack_logic 994.387 ;
gp Q[0];
ap .slack_logic 994.644 ;
gp D[0];
ap .slack_logic 994.387 ;
gp C;
ap .is_clock 1;

gi CONT.pos[2:0];
gp C;
ap .is_clock 1;

gi POSITION[2:0];
ai .slack_logic 994.495 ;
gp Q[0];
ap .slack_logic 994.531 ;
gp Q[1];
ap .slack_logic 994.550 ;
gp Q[2];
ap .slack_logic 994.569 ;
gp D[0];
ap .slack_logic 994.495 ;
gp D[1];
ap .slack_logic 994.495 ;
gp D[2];
ap .slack_logic 994.495 ;
gp C;
ap .is_clock 1;

gi UDSIG;
ai .slack_logic 994.626 ;
gp Q[0];
ap .slack_logic 994.626 ;
gp D[0];
ap .slack_logic 994.929 ;
gp C;
ap .is_clock 1;
av syn_information_type logic;