建设银行手机银行银行下载官方网站,建设微信网站要多少钱,做网站好一点的公司,打开网站自动跳转代码在FSM模型中使用两态数据类型
1、使用两态类型和枚举类型对FSM复位 在仿真刚开始时#xff0c;四态数据类型的值是逻辑X。类似有限状态机这样的模型中#xff0c;四态变量的X逻辑值可以用来表示模型还没有复位#xff0c;或复位逻辑的建模不正确。 仿真刚开始时#xff0c…在FSM模型中使用两态数据类型
1、使用两态类型和枚举类型对FSM复位 在仿真刚开始时四态数据类型的值是逻辑X。类似有限状态机这样的模型中四态变量的X逻辑值可以用来表示模型还没有复位或复位逻辑的建模不正确。 仿真刚开始时两态数据类型的缺省值是0而不是X。因为复位操作通常是将大部分变量清0所以这样一来即使复位逻辑有缺陷模型好像仍然是被复位了。 仿真开始时枚举类型使用枚举类型的基类值作为缺省值。如果状态变量用默认基类和标签值定义并且复位操作也是将枚举值置为表中的第一个值那么就会出现和两态变量类似的情况。默认基类是int它是仿真时具有非初始值0。枚举列表中第一个标签的默认值是0这与两态基类的非初始值相同。这样即使没有插入复位或复位逻辑有错误设计好像仍然是复位了。
enum{WAITE,LOAD,STORE}State,Next;
always(posedge clock,negedge resetN)if(!resetN) State WAITE;else State Next;always(State)case(State)WAITE:Next LOAD;LOAD:Next STORE;STORE:Next WAITE;endcase使用复位逻辑也不能解决这个状态锁定问题。因为复位会将State置为WAITE值这仍然与开始仿真时的值一样。因此变量State还是没有变化次态译码逻辑还是不能触发Next仍然会保持起始值WAITE. 这种在仿真开始时出现的状态锁定问题可以通过两种方法解决。 第一种方法是用四态基类如logic显示声明枚举变量。然后仿真开始时State和Next会具有非初始值X。这清楚地表明了这些变量已经被复位了。它也准确反映了硬件特性即触发器加电后处于一种中间状态。在RTL仿真中当应用复位时State变量将从X转变为它的复位值WAITE。这一转变将触发对Next译码以及将Next置为合适值LOAD的逻辑。 第二种解决使用默认基类和标签值的枚举类型时产生的FSM锁定问题的方法是用SystemVerilog是always_comb过程块代替always(State)。即使其相关敏感表的变量没有变化在仿真零时刻always_comb过程块也会自动执行一次。通过在零时刻执行一次。通过在零时刻执行译码逻辑初始State值将被译码然后变量Next随之相应改变。
