[讨论] 三段式状态机,modelsim上仿真没问题,下载到板子上后,signaltab却显示与仿真不相符,可能是什么原因?

[复制链接]

技术员

发表于 2017-2-18 11:03:53   600 查看 14 回复 显示全部楼层 倒序浏览
分享
状态转移及条件全在always@(*),modelsim上状态转移都是对的,signaltab实板验证的时候状态转移却是乱的

技术员

发表于 2017-2-18 11:15:17    楼主|
本帖最后由 945595199 于 2017-2-18 11:17 编辑

代码结构是这样的:
//第一段
always@(posedge CLK_100M or negedge rst_n)
begin
        if(!rst_n) state_last <= S0;
        else state_last <= state_current;
end
//第二段
always@(*)
begin
        if(!rst_n) state_current <= S0;
        else
        begin
                case(state_last)
                        S0:   begin if(rst_n)       state_current = S1;         end
                        S1: begin if(条件1)   state_current = S2;                 end
                        S2:  begin if(条件2)   state_current = S3;         end
                        S3: begin if(条件3)   state_current = S4;                 end
                        S4:  begin if(条件4)   state_current = S5;  end
                        S5:;
                        default:;
                endcase
        end
end

//第三段
always@(posedge CLK_100M or negedge rst_n)
begin
        if(!rst_n)
             ......
            ........
        else
            case(state_current)
                  S1:
                     .............
                      ............
                     条件1满足
                  S2:
                     .............
                      ............
                     条件2满足

                  S3:
                     .............
                      ............
                     条件3满足
                  S4:
                     .............
                      ............
                     条件4满足
                   S5:
                     .............
                      ............



            endcase
end


回复

点赞 举报

技术员

发表于 2017-2-18 11:22:33  

PCB在线计价下单

板子大小:

cm
X
cm

层数:

2

板子数量:

10

厚度:

1.6
仿真可以的话一般就是时序问题了!你是不是状态跑飞了?检查一下你的跳转条件是不是都是CLK_100M 上的信号!!!你要保证你的跳转条件都是这个时钟域的才行!
回复

点赞 举报

技术员

发表于 2017-2-18 11:32:49    楼主|
reallmy 发表于 2017-2-18 11:22
仿真可以的话一般就是时序问题了!你是不是状态跑飞了?检查一下你的跳转条件是不是都是CLK_100M 上的信号!!!你要保证你的跳转条件都是这个时钟域的才行!

你看我写的第三段,跳转条件都已经处在CLK_100M的这个always里面了,是你所说的处在时钟域吧?
回复

点赞 举报

技术员

发表于 2017-2-18 11:58:24  
945595199 发表于 2017-2-18 11:32
你看我写的第三段,跳转条件都已经处在CLK_100M的这个always里面了,是你所说的处在时钟域吧?

恩,你的条件跳转信号是不是在100M这个时钟域上!
回复

点赞 举报

技术员

发表于 2017-2-18 12:03:36    楼主|
reallmy 发表于 2017-2-18 11:58
恩,你的条件跳转信号是不是在100M这个时钟域上!

是的,是在啊,
回复

点赞 举报

技术员

发表于 2017-2-18 12:08:01  
就是说这些信号都用100M时钟打过拍了是吧,如果是别的时钟域的话要至少打两拍,如果都满足你就要查一下时序是不是报红了!还有一个办法你也可以试一下,把状态换成独热码!
回复

点赞 举报

技术员

发表于 2017-2-18 16:19:52    楼主|
reallmy 发表于 2017-2-18 12:08
就是说这些信号都用100M时钟打过拍了是吧,如果是别的时钟域的话要至少打两拍,如果都满足你就要查一下时序是不是报红了!还有一个办法你也可以试一下,把状态换成独热码!

改成独热码也不行,不太清楚你说的时钟域、打拍是什么意思,能解释一下吗?
always@(*)应该是组合逻辑吧,与时钟没关系
回复

点赞 举报

技术员

发表于 2017-2-18 17:03:45  
945595199 发表于 2017-2-18 16:19
改成独热码也不行,不太清楚你说的时钟域、打拍是什么意思,能解释一下吗?
always@(*)应该是组合逻辑吧,与时钟没关系

就是因为always@(*)是组合电路,所以这里面的信号都要是100M时钟域下的,要不就会出错,你可以试试改成1段式试试,我估计你的条件是不这个时钟域的!因为我以前遇到过!!哈哈!
回复

点赞 举报

技术员

发表于 2017-2-18 17:19:23    楼主|
我状态都是通过parameter来定义的,我试了一下不用parameter来定义状态变量,直接用原始数据,不管是格雷码还是独热码,结果就正常了。。。。。
这尼玛在逗我?真奇葩,啥原因?
回复

点赞 举报

技术员

发表于 2017-2-18 17:32:44    楼主|
reallmy 发表于 2017-2-18 17:03
就是因为always@(*)是组合电路,所以这里面的信号都要是100M时钟域下的,要不就会出错,你可以试试改成1段式试试,我估计你的条件是不这个时钟域的!因为我以前遇到过!!哈哈!

现在可以了。
回复

点赞 举报

技术员

发表于 2017-2-18 17:40:44  
945595199 发表于 2017-2-18 17:19
我状态都是通过parameter来定义的,我试了一下不用parameter来定义状态变量,直接用原始数据,不管是格雷码还是独热码,结果就正常了。。。。。
这尼玛在逗我?真奇葩,啥原因?

哈哈!!!parameter和你直接写应该是一样的!虽然你现在程序可以了,但是有可能调着调着就挂了!
回复

点赞 举报

技术员

发表于 2017-2-18 22:13:51    楼主|
很奇怪的问题,但确实好了
回复

点赞 举报

等待验证会员

发表于 2017-3-19 22:55:41  
学习/学习/学习
回复

点赞 举报

等待验证会员

发表于 2017-3-19 23:29:17  
学习/学习/学习
回复

点赞 举报

高级模式
您需要登录后才可以回帖 登录 | 注册

关闭

站长推荐 上一条 /7 下一条

快速回复 返回顶部 返回列表
-

推荐专区

技术干货集中营

专家问答

用户帮助┃咨询与建议┃版主议事

我的提问

工程师杂谈

工程师创意

工程师职场

论坛电子赛事

社区活动专版

发烧友活动

-

嵌入式论坛

ARM技术论坛

Android论坛

Linux论坛

单片机/MCU论坛

FPGA|CPLD|ASIC论坛

DSP论坛

嵌入式系统论坛

-

电源技术论坛

电源技术论坛

无线充电技术

-

硬件设计论坛

PCB设计论坛

电路设计论坛

电子元器件论坛

控制|传感

总线技术|接口技术

-

测试测量论坛

LabVIEW论坛

Matlab论坛

测试测量技术专区

仪器仪表技术专区

-

EDA设计论坛

multisim论坛

PADS技术论坛

Protel|AD|DXP论坛

Allegro论坛

proteus论坛|仿真论坛

EasyEDA-中国人自已的EDA工具

Orcad论坛

-

综合技术与应用

电机控制

智能电网

光电及显示

参考设计中心

汽车电子技术论坛

医疗电子论坛

-

开源硬件

DFRobot专区

树莓派论坛

智能硬件论坛

开发快智能硬件开发平台

Intel物联网开发者专区

Waveshare

乐美客SBC专区

Arduino论坛

BeagleBone论坛

机器人论坛

创客神器NanoPi

小钢炮CANNON

比派科技banana pi专区

-

无线通信论坛

无线通信技术专区

天线|RF射频|微波|雷达技术

-

IC设计论坛

芯片测试与失效分析

Mixed Signal/SOC[数模混合芯片设计]

Analog/RF IC设计

设计与制造封装测试

-

个人版区

阿东Verilog技术专版

直流马达驱动电路设计

LabVIEW英雄联盟

特权同学FPGA专区

-

厂商专区

灵动微电子 MM32

盈鹏飞嵌入式

TI论坛

TI Deyisupport社区

芯灵思嵌入式论坛

Tisan

米尔科技

庆科社区

WIZnet技术专区

Cypress技术论坛

飞凌嵌入式

Qualcomm技术论坛

英创嵌入式

机智云GoKit论坛

-

检测技术与质量

电磁兼容(EMC)设计与整改

安规知识论坛

检测与认证

-

消费电子论坛

手机技术论坛

平板电脑/mid论坛

音视/视频/机顶盒论坛

-

电子论坛综合区

聚丰众筹官方社区

新人报道区

聚丰供应链

-

论坛服务区

-

供求信息发布

供需广告

招聘┃求职发布区

电子展览展会专区