摘要： 阅读全文

摘要： 一、full caseFSM的任何一个编码向量均可与case的某个分支或者default匹配。例如，一个FSM的状态编码有8bit，则对应的256个状态均应能与case的分支或default对应上。即使只用到其中若干个编码状态，case的分支加上default亦应能应对256种情况。这才可称为full case。二、parallel case每个case的判断条件case_expression，有且仅有唯一一个case分支与之对应。即既不会出现一个case_expression对应多个case，也不会出现多个case_expression对应同一个case分支。三、注意事项目前知名综合器如Sy 阅读全文