衡阳派盒市场营销有限公司

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

NCSIM、VCS和QuestaSim后仿真如何屏蔽冗余的違例信息呢?

sanyue7758 ? 來(lái)源:硅芯思見(jiàn) ? 2024-01-03 09:43 ? 次閱讀

在進(jìn)行數(shù)字電路仿真時(shí),經(jīng)常會(huì)遇到很多時(shí)序?yàn)槔ǔ_@些違例都是由網(wǎng)表中大量的時(shí)序檢查報(bào)出的。這些常見(jiàn)的時(shí)序檢查系統(tǒng)任務(wù)如下表所示:

時(shí)序檢查系統(tǒng)任務(wù) 說(shuō)明
$setuphold 檢查建立時(shí)間和保持時(shí)間,當(dāng)setup違例時(shí),出現(xiàn)此信息
$setuphold 檢查建立時(shí)間和保持時(shí)間,當(dāng)hold違例時(shí),出現(xiàn)此信息
$setup 檢查建立時(shí)間
$hold 檢查保持時(shí)間
$recovery 檢查恢復(fù)時(shí)間(以復(fù)位信號(hào)為例,可以理解為rst必須在時(shí)鐘沿之前的有效的最小時(shí)間),一般用于復(fù)位、置位等
$removal 檢查撤銷時(shí)間(以復(fù)位信號(hào)為例,可以理解為rst必須在時(shí)鐘沿之后的有效的最小時(shí)間),一般用于復(fù)位、置位等
$recrem 檢查恢復(fù)和撤銷時(shí)間,一般常用于復(fù)位、置位等
$period 檢查周期信號(hào)的最小周期,一般常用于時(shí)鐘
$skew 檢查兩個(gè)信號(hào)之間的最大時(shí)間差
$width 檢查脈沖的最小寬度

因?yàn)樵诜抡娴倪^(guò)程中,有些報(bào)出的違例我們是不關(guān)心的,這些信息的大量出現(xiàn)可能會(huì)淹沒(méi)我們真正需要觀測(cè)的信息,為此需要在仿真時(shí)講這些冗余的信息屏蔽掉。

針對(duì)大家經(jīng)常使用的NCSIM、VCS和ModelSim(QuestaSim),下文將說(shuō)明如何在這兩種EDA工具中屏蔽冗余的違例信息。

1 NCSIM

屏蔽使用的命令格式:

% irun-tfile myfile.tfile[other_options] source_files

上述命令中myfile.tfile中包含屏蔽信息,其中主要內(nèi)容如下表:

參數(shù) 說(shuō)明
-iopath
+iopath
不使能路徑延遲
使能路徑延遲
-prim
+prim
不使能指定的instance中原語(yǔ)的延遲
使能指定的instance中原語(yǔ)的延遲
-port
+port
刪除指定的instance的port延遲
使能指定的instance的port延遲
[SystemTimingTask] -tcheck
[SystemTimingTask] +tcheck
屏蔽掉不關(guān)心的違例

【示例】*.tfile中內(nèi)容格式

PATH top.foo -tcheck // 屏蔽所有關(guān)于foo的時(shí)序檢查

PATH top.foo $setup $hold -tcheck // 屏蔽所有關(guān)于foo的setup和hold時(shí)序檢查

PATH :SOC.lcsoc.syn_reg $setup -tcheck // 屏蔽:SOC.lcsoc.syn_reg的setup檢查

注意:如果要屏蔽其他檢查,只需將示例中的$setup或者$hold換成SystemTimingTask中的任何一個(gè)即可。

2 VCS

命令格式如下:

tcheck <-msg | -xgen> [-disable | -enable] [-r]

tcheck -query instance | port

上述命令使用時(shí)需要注意以下幾點(diǎn):

1>在simv的option中,即 % ./simv -ucli run.tcl,其中run.tcl中增加需要屏蔽的信號(hào),將tcheck中的內(nèi)容增加的run.tcl中;

2>該命令僅對(duì)Verilog/SystemVerilog使用;

3>該命令使用時(shí),待檢測(cè)的源代碼必須包括時(shí)序檢查系統(tǒng)任務(wù),否則將會(huì)產(chǎn)生warning信息;

上述命令格式中使用的相關(guān)參數(shù)的說(shuō)明如下表所示。

參數(shù) 說(shuō)明
instance | port 要被屏蔽的時(shí)序檢查的實(shí)例或者端口的全路徑名稱
tcheck_type 指定需要進(jìn)行屏蔽的時(shí)序檢查類型:HOLD|SETUP|SETUPHOLD|WIDTH|RECOVERY|REMOVAL|RECREM|PERIOD|SKEW|ALL
-disable | -enable 使能或不使能相關(guān)時(shí)序檢查,如果要求屏蔽其中SETUP,則在tcheck_type指定SETUP后,需要在tcheck中使用-disable
-msg | -xgen A.指定的實(shí)例或者端口違例信息是否被顯示
B.指定的實(shí)例或者端口notifier信息是否被顯示
-r 指定是否遞歸式的對(duì)所有指定的instance及其以下層次所有的instance進(jìn)行時(shí)序檢查

【示例】(可以通過(guò)-ucli do.tcl直接添加到simv中)

tcheck {top_tb.C40010001} WIDTH -msg -disable

#對(duì)top_tb.C40010001不進(jìn)行WIDTH時(shí)序檢查,即屏蔽掉top_tb.C40010001的WIDTH檢查

tcheck {top_tb.C40010001} -query

#顯示對(duì)top_tb.C40010001的時(shí)序檢查信息

3 ModelSim(QuestaSim)

命令格式如下:

tcheck_set[-quiet] [{-m | -n}] [-r [-v]] [ | ]

上述命令格式中使用的相關(guān)參數(shù)的說(shuō)明如下表所示。

參數(shù) 說(shuō)明
nstance> 實(shí)例(模塊或者線網(wǎng))的全路徑名稱,該項(xiàng)是必須的
-m | -n 指定屏蔽操作的對(duì)象是模塊還是線網(wǎng),該項(xiàng)可選。
-m:此時(shí)命令中指定的instance是module(Verilog)或者entity(VHDL),此時(shí)的屏蔽操作將作用于指定的模塊的所有實(shí)例
-n:此時(shí)命令中指定的instance指向一個(gè)線網(wǎng),tcheck_set將應(yīng)用于所有連接該線網(wǎng)的實(shí)例
-quiet 用于指定配置信息不顯示于Transcript窗口,該參數(shù)的指定必須先于,該項(xiàng)可選
-r [-v] 指定是否遞歸式的對(duì)所有指定的instance及其以下層次所有的instance進(jìn)行時(shí)序檢查,默認(rèn)情況下,遞歸過(guò)程中被改變的instance的信息不會(huì)輸出到Transcript,可以用-v將這些信息輸出至Transcript中,該項(xiàng)可選
tcheck_type 指定需要進(jìn)行屏蔽的時(shí)序檢查類型:HOLD|SETUP|SETUPHOLD|WIDTH|RECOVERY|REMOVAL|RECREM|PERIOD|SKEW|ALL
使能或者禁止是否將指定的時(shí)序檢查違例信息和不定態(tài)產(chǎn)生的信息報(bào)出,該項(xiàng)可設(shè)置的值為“ON”和“OFF”,該項(xiàng)可選
控制指定時(shí)序檢查的違例信息和不定態(tài)信息,其中必須先于,其中可設(shè)置的值為“ON”和“OFF”,該項(xiàng)可選

【示例】

tcheck_set top_tb.u1.u2 “(WIDTH (negedge clk))”O(jiān)FF

#示例中,top_tb.u1.u2下的(WIDTH (negedge clk))檢查產(chǎn)生的所有信息都將被屏蔽掉。如果對(duì)于示例中時(shí)序檢查表達(dá)式的寫法不了解,可以使用“tcheck_statustop_tb.u1.u2”來(lái)查看top_tb.u1.u2下所有的時(shí)序檢查表達(dá)式,具體應(yīng)用如下所示:

% tcheck_status top_tb.u1.u2

% #0 (WIDTH (negedge clk)) MsgOn XOn

% #1 (WIDTH (posedge clk)) MsgOn XOn

% #2 (SETUP (negedge d)(posedge clk)) MsgOn XOFF

% #3 (HOLD (posedge clk)(negedge d)) MsgOn XOFF

最后在使用上述EDA工具時(shí),因?yàn)椴煌墓ぞ咛峁┑穆窂讲煌诰唧w使用時(shí),一定要使用對(duì)應(yīng)的工具獲得該工具可識(shí)別的路徑信息。







審核編輯:劉清

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • EDA工具
    +關(guān)注

    關(guān)注

    4

    文章

    268

    瀏覽量

    31935
  • soc
    soc
    +關(guān)注

    關(guān)注

    38

    文章

    4204

    瀏覽量

    219084
  • 數(shù)字電路
    +關(guān)注

    關(guān)注

    193

    文章

    1629

    瀏覽量

    80821
  • VCS
    VCS
    +關(guān)注

    關(guān)注

    0

    文章

    80

    瀏覽量

    9646

原文標(biāo)題:NCSIM、VCS和QuestaSim(ModelSim)后仿真如何屏蔽違例

文章出處:【微信號(hào):處芯積律,微信公眾號(hào):處芯積律】歡迎添加關(guān)注!文章轉(zhuǎn)載請(qǐng)注明出處。

收藏 人收藏

    評(píng)論

    相關(guān)推薦

    VCS仿真指南(第二版).pdf

    VCS-verilog compiled simulator是synopsys公司的產(chǎn)品.其仿真速度相當(dāng)快,而且支持多種調(diào)用方式;使用的步驟和modelsim類似,都要先做編譯,再調(diào)用仿真.V
    發(fā)表于 12-15 10:27

    ISE設(shè)計(jì),questasim仿真時(shí)庫(kù)編譯的問(wèn)題

    設(shè)計(jì)中用到了GTP_DUAL,利用questasim仿真。Simulation時(shí)報(bào)錯(cuò),說(shuō)找不到GTP_DUAL_fast.v這個(gè)文件。在xilinx的安裝目錄下mti文件中搜索到
    發(fā)表于 08-30 16:04

    nanosim和vcs混合仿真的過(guò)程是怎樣的?

    nanosim和vcs為什么可以聯(lián)合起來(lái)進(jìn)行數(shù)字模擬混合仿真?nanosim和vcs混合仿真的過(guò)程是怎樣的?
    發(fā)表于 06-18 08:28

    VCS仿真卡住,為什么無(wú)法生成verdi波形文件

    在make com編譯成功,terminal卡住了一直沒(méi)有反應(yīng),這是什么情況有大佬知道嗎?VCS仿真卡住,為什么無(wú)法生成verdi波形文件
    發(fā)表于 06-21 08:14

    基于linux系統(tǒng)的VCS使用及仿真說(shuō)明

    最近在學(xué)習(xí)VCS,現(xiàn)將VCS的一些使用心得記錄下來(lái)。VCS是synopsys的仿真verilog的仿真器。基于linux系統(tǒng)。有命令行模式和
    發(fā)表于 07-18 16:18

    ModelSim和QuestaSim功能簡(jiǎn)介及應(yīng)用

    ModelSim和QuestaSim功能簡(jiǎn)介及應(yīng)用 ModelSim是工業(yè)界最優(yōu)秀的語(yǔ)言仿真器,它提供最友好的調(diào)試環(huán)境
    發(fā)表于 04-29 09:07 ?2w次閱讀
    ModelSim和<b class='flag-5'>QuestaSim</b>功能簡(jiǎn)介及應(yīng)用

    基于linux系統(tǒng)實(shí)現(xiàn)的vivado調(diào)用VCS仿真教程

    在linux系統(tǒng)上實(shí)現(xiàn)vivado調(diào)用VCS仿真教程 作用:vivado調(diào)用VCS仿真可以加快工程的仿真和調(diào)試,提高效率。 前期準(zhǔn)備:確認(rèn)安
    的頭像 發(fā)表于 07-05 03:30 ?1.2w次閱讀
    基于linux系統(tǒng)實(shí)現(xiàn)的vivado調(diào)用<b class='flag-5'>VCS</b><b class='flag-5'>仿真</b>教程

    基于FPGA的仿真如何工作

    工程師更廣泛地理解基于FPGA的仿真,因?yàn)楣こ處熈?xí)慣于使用FPGA進(jìn)行設(shè)計(jì)。對(duì)基于處理器的仿真器的理解不太了解,而且有大量錯(cuò)誤信息的例子比比皆是。本文將嘗試消除解釋基于處理器的仿真如
    的頭像 發(fā)表于 09-14 12:54 ?1.1w次閱讀
    基于FPGA的<b class='flag-5'>仿真如</b>何工作

    vcs學(xué)習(xí)筆記(常用選項(xiàng)/仿真流程/代碼覆蓋率/綜合仿真/圖一樂(lè)技巧)

    VCS是編譯型verilog仿真器,VCS先將verilog/systemverilog文件轉(zhuǎn)化為C文件,在linux下編譯生成的可執(zhí)行文./simv即可得到仿真結(jié)果。
    的頭像 發(fā)表于 05-23 16:04 ?1w次閱讀

    SpinalHDL運(yùn)行VCS+Vivado相關(guān)仿真

    本篇文章來(lái)源于微信群中的網(wǎng)友,分享下在SpinalHDL里如何絲滑的運(yùn)行VCS跑Vivado相關(guān)仿真。自此仿真設(shè)計(jì)一體化不是問(wèn)題。
    的頭像 發(fā)表于 08-10 09:15 ?2590次閱讀

    淺談VCS的兩種仿真flow

    幾乎所有的芯片設(shè)計(jì)、芯片驗(yàn)證工程師,每天都在和VCS打交道,但是由于驗(yàn)證環(huán)境的統(tǒng)一化管理,一般將不同的編譯仿真選項(xiàng)集成在一個(gè)文件里,只需要一兩個(gè)人維護(hù)即可。所以大部分人比較少有機(jī)會(huì)去深入地學(xué)習(xí)VCS
    的頭像 發(fā)表于 01-10 11:20 ?3992次閱讀

    使用Vivado調(diào)用questasim仿真報(bào)錯(cuò)的原因及其解決辦法

    有一天使用Vivado調(diào)用questasim(modelsim估計(jì)也一樣),仿真報(bào)錯(cuò)
    的頭像 發(fā)表于 05-08 17:12 ?3335次閱讀

    如何在EDA工具中屏蔽冗余違例信息

    在進(jìn)行數(shù)字電路仿真時(shí),經(jīng)常會(huì)遇到很多時(shí)序?yàn)槔ǔ_@些違例都是由網(wǎng)表中大量的時(shí)序檢查報(bào)出的。這些常見(jiàn)的時(shí)序檢查系統(tǒng)任務(wù)如下表所示:
    的頭像 發(fā)表于 08-19 10:01 ?1218次閱讀

    Questasim與Visualizer的livesim仿真如何啟動(dòng)

    Live-Simulation (live-sim)模式允許Visualizer調(diào)試環(huán)境與Questasim進(jìn)行交互操作,此模式將Visualizer GUI與Questasim仿真相結(jié)合,因此可以在線調(diào)試當(dāng)前
    的頭像 發(fā)表于 10-10 11:33 ?701次閱讀
    <b class='flag-5'>Questasim</b>與Visualizer的livesim<b class='flag-5'>仿真如</b>何啟動(dòng)<b class='flag-5'>呢</b>?

    VCS 仿真option 解析

    VCS仿真選項(xiàng)分編譯(compile-time)選項(xiàng)和運(yùn)行(run-time)選項(xiàng)。編譯選項(xiàng)用于RTL/TB的編譯,一遍是編譯了就定了,不能在仿真中更改其特性,例如define等等。
    的頭像 發(fā)表于 01-06 10:19 ?3193次閱讀
    百家乐官网天下第一缆| 百家乐庄家的胜率| 大发888免费娱乐| 网上百家乐官网的打法| 威尼斯人娱乐平台注册| 百家乐官网7赢6| 杭州太阳城假日酒店| 百家乐官网空调维修| 博彩游戏机| 百家乐销售视频| 广发娱乐城| 百家乐筹码桌| 七胜百家乐官网娱乐城总统网上娱乐城大都会娱乐城赌场 | 利来备用| 百家乐闲和庄| 百家乐官网书| 大发888亚洲城| 百家乐官网博娱乐网赌百家乐官网的玩法技巧和规则| 大发888出纳柜台 2014| 百家乐3宜3忌| 百家乐官网的寻龙定穴| 百家乐网页游戏| 六合彩网页| 破解百家乐游戏机| 百家乐官网官方游戏下载| 博彩网大全| 百家乐大小牌路的含义| 百家乐官网足球| 米易县| 百家乐赌场| 百家乐官网扑克牌手机壳| 定西市| 威尼斯人娱乐平台赌| 百家乐代打公司| 娱乐城百家乐官网怎么样| 百家乐桌布呢布| 博坊百家乐游戏| 百家乐官网网投注| 大发888网址官方| 百家乐平台有什么优势| 沙龙百家乐官网赌场娱乐网规则 |