网站公告列表

  没有公告
加入收藏
设为首页
联系站长
 . 网站首页 . 产品新知 . 业界资讯 . 技术文库 . 下载中心 . 服务导航 . 电子商城 . 邮购需知 . 
您现在的位置： 61EDA中国电子网 >> 技术文库 >> Modelsim仿真 >> 正文
  modelsim仿真中的 vsim-3601错误           ★★★ 【字体：小 大】
modelsim仿真中的 vsim-3601错误
作者：gateye    文章来源：本站原创    点击数：    更新时间：2008-2-3    
这几天一直为这个问题头疼，几天终于解决了！可能快熬到头了或者是中午belinda给我带来的好运！反正是解决了~
出现问题是在所有的demux模块combination的过程中，原来每个模块的testbench验证表明ok；但通过的demux的testbench发现在功能仿真中，出现问题。
情况如下：
仿真开始后
# ** Fatal: (vsim-3603) Zero-delay oscillation loop detected at time 11175 ns.
通过查询verror 3603指令
verror 3603
#
# Message # 3603:
# The simulator detected a connectivity loop in the design that is
# oscillating due to the delays being zero, and the loop not settling
# out to a stable state. The pathnames to each instance in the
# connectivity loop should be displayed along with this message.
# The simulation cannot be continued after this error occurs.
 
这个解释说明，代码中出现了“死锁“现象，最主要是the loop not settling out to a stable state。说明存在0延时的震荡，是由于不能建立一个稳定的状态。但是如何查找呢？首先对testbench进行测查，修改之后发现只能改变出现问题的时间；看来和这个无关，再分析memory interface和datamux的部分，发现启动这两个模块就有问题。怀疑memory的FIFO，因为内部的双端口RAM是采用xilinx的
core generator生成的，因为潜意识里好像有人在论坛上说过类似PLL引起的问题。结果被误导，一无所获。今天仔细分析code和中断时的wave graph，终于发现问题所在。
这是memory 内部的状态：
该状态机的敏感量
always @(fifoRd_fsm or reset or DemuxReq  )
 
 fifoGrant:                                        // complete one time cycle  FIFO read of demux
                    begin
                    if( DemuxReq == 1'b0)
                       begin
                       DemuxGrant = 1'b0;
                       fifoRd_next_fsm = RdCounterAdd ;
                       end
                    else
                      DemuxGrant = 1'b1;
                    end
 
 
同时ES slice模块的一个状态：
该状态敏感量
always @(  reset or ES_fsm  or ESRDGrant or ESValid or ESRDValid or ESWRGrant or ESsliceValid )
 
CodeStartReq:                           // request
             begin
                 if(ESRDGrant == 1'b1)
                      begin
                      ESRDReq =1'b0;
                      ES_next_fsm = prefixCodeDo;
                      end
                  else
                      ESRDReq = 1'b1;
             end
 
这两个通过wire连接即ESRDgrant = demuxgrant;ESRDReq = DemuxReq。
同时跃迁的clk一样。
问题因此而产生，本来采用握手协议，保证数据可靠传输。
但由于潜意识减少状态变迁次数，采用了不成熟的代码风格。
导致
 
step1: DemuxReq =1;
         则
          Demuxgrant =1;  // A fsm
 
step2:ESRDGrant = 1: // B fsm ,敏感量 ESRDGrant
        则
         ESRDReq =0;
 
step3: DemuxReq =0;  // A fsm,敏感量 DemuxReq
         则
         Demuxgrant =0;
step4:ESRDGrant = 0: // B fsm ,敏感量 ESRDGrant
        则
         ESRDReq =1;
重新返回step1，构成loop；从而clk无法形成稳定的状态。
通过synplify分析发现,REQ和Grant信号都是有一个多路选择和锁存器构成，哦累了，下次再用RTL来分析
文章录入：admin    责任编辑：admin 
  • 上一篇文章：

  • 下一篇文章：
    • 【发表评论】【加入收藏】【告诉好友】【打印此文】【关闭窗口】
    最新热点 最新推荐 相关文章
    基于 Modelsim FLI 接口的FP…
    使用VC6.0和ModelSim编译和仿…
    ModelSim仿真库问题
    Modelsim 的验证实例
    　　网友评论：（只显示最新10条。评论内容只代表网友观点，与本站立场无关！）
    | 设为首页 | 加入收藏 | 联系站长 | 友情链接 | 版权申明 | 网站公告 | 管理登录 | 
    湘ICP备08001332号 站长：61EDA