zoukankan      html  css  js  c++  java
  • 解决了后仿时序检查出错

    第一次做后仿,就出现了问题,发现如果不加SDF,波形也会有延时:

    后来发现,这些延时都是仿真库中定义的,而且加载SDF后的延时就是实际的延时了,而不是库中定义的延时,但出现了好多违例,modelsim波形如下:

    箭头处出现了hold time违例,原来是仿真库中含有时序检查函数:

    $setuphold(posedge CK &&& (SandR == 1), posedge J, tsetup$J$CK, thold$J$CK, NOTIFIER);
    $setuphold(posedge CK &&& (SandR == 1), negedge J, tsetup$J$CK, thold$J$CK, NOTIFIER);
    $setuphold(posedge CK &&& (SandR == 1), posedge K, tsetup$K$CK, thold$K$CK, NOTIFIER);
    $setuphold(posedge CK &&& (SandR == 1), negedge K, tsetup$K$CK, thold$K$CK, NOTIFIER);


    而我有几条路径不满足仿真库中定义的hold time(500ps),但我奇怪:SDF中不是也有时序检查函数吗?为什么仿真库中也有,不是多此一举吗,不会覆盖SDF中的函数吗,后来发现SDF中并没有检查hold time:

    (TIMINGCHECK
        (WIDTH (posedge CK) (0.211::0.211))
        (WIDTH (negedge CK) (0.386::0.386))
        (SETUPHOLD (posedge D) (posedge CK) (0.258::0.258) ())
        (SETUPHOLD (negedge D) (posedge CK) (0.494::0.494) ())
        (SETUPHOLD (posedge RN) (posedge CK) (0.243::0.243) ())
        (SETUPHOLD (negedge RN) (posedge CK) (0.501::0.501) ())


    后来我针对违例的cell在SDF中手动加入了保持时间的定义 : (SETUPHOLD (posedge D) (posedge CK) (0.258::0.258) (0.123::0.123)),然后再仿真,modelsim没有报错了,可见如果SDF和仿真库中都有时序检查函数,那么SDF具有高的优先级。

    但是不明白encounter为什么生成的SDF中没有检查hold time,只好先修改布局布线,将encounter的hold time的threshold设置为仿真库中的500ps(options——set mode——mode setup),如下图:

    ,生成新的版图和SDF,网表,再仿真,modelsim就没有报错了

     

     





  • 相关阅读:
    linux 常用命令大全
    socket的读写函数readn和writen函数
    python中exec 和eval的用法
    python中set集合介绍
    python中下划线变量的规则和意义
    关于小端字节序和大端字节序的解释
    需要学习的网站
    关于尾递归节省内存空间
    python中的with语句
    python中的类变量和对象变量,以及传值传引用的探究
  • 原文地址:https://www.cnblogs.com/tshell/p/2957447.html
Copyright © 2011-2022 走看看