flift.sap

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

n work FLIFT behav;
gi un4[2]; ai .rtl_const true;

gi CLEARUP;
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_STATE_3";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi DOORLIGHT;
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_rst";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi UPLIGHT_1[1];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_up1_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi DOWNLIGHT_1[2];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_down2_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi UPLIGHT_1[2];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un3_up2_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi DOWNLIGHT_1[3];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un3_down3_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi STATE[0:9];
ai .rtl_dangling_pins "Q[9]";


gi STATE[0:9];
ai .clock "NONE";
ai .clock_edge "rise";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi Q[3:0];
ai .clock "NONE";
ai .clock_edge "rise";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi STOPLIGHT_1[1];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_STOPLIGHT_0_sqmuxa";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi STOPLIGHT_1[2];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_STOPLIGHT_0_sqmuxa_1";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi STOPLIGHT_1[3];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_STOPLIGHT_0_sqmuxa_2";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi UPLIGHT_1[3];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_up3_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi DOWNLIGHT_1[4];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_down4_2[0]";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi STOPLIGHT_1[4];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_STOPLIGHT_0_sqmuxa_3";
ai .async_reset "n:RST";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi CONT.pos[2:0];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_rst";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi POSITION[2:0];
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_rst";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";

gi UDSIG;
ai .clock "NONE";
ai .clock_edge "rise";
ai .clock_enable "n:un1_rst_2";
gp C;
ap .is_clock 1;
ap .clock "NONE";
ap .clock_edge "rise";
av .syn_compile_point 1;
av .compile_point_name FLIFT;