flift_fsm.sdc

来自「实现简易4层电梯控制核心模块」· SDC 代码 · 共 6 行

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}