flift_fsm.sdc

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

log_puts {@N|Using encoding styles selected by FSM Explorer.}
log_puts {Data created on Wed Jul 09 18:53:21 2008}

define_attribute {work.FLIFT.behav|i:STATE[0:9]} syn_encoding {gray}