本文主要分析總結(jié)芯片驗(yàn)證過程中遇到的仿真器掛死（就是通常所說的hang）的情形。給出的解決方案都是基于Cadence的仿真工具incisive（當(dāng)然利用xcelium也是沒有問題的）和debug工具simvision(當(dāng)然利用更強(qiáng)大的indago也是沒問題的)，需要指出來的一點(diǎn)是如果利用xcelium和indago聯(lián)合調(diào)試，需要注意版本兼容問題，利用simvision來debug就不存在這個(gè)問題，因?yàn)閟imvision是位于incisive或xcelium的安裝目錄下的，并不需要單獨(dú)的license。由于這類問題比較普遍，而且scenario也比較復(fù)雜，所以我打算把它做成一個(gè)系列。今天是開篇，先列出所有的場(chǎng)景和類型，后續(xù)有對(duì)應(yīng)的具體的解決方案。

一、仿真器卡在無限循環(huán)或者h(yuǎn)ang住的場(chǎng)景有很多，原因也各不相同。但大致可以分為如下幾類：

1.1：rtl/netlist(網(wǎng)表)無限循環(huán)；

1.1.1signal glitches(信號(hào)毛刺)

使用irun/xrun的-delay_trigger這個(gè)option可以過濾掉毛刺，能夠使得仿真進(jìn)行下去。

1.1.2無限deltacycles

當(dāng)仿真時(shí)間不能往前推進(jìn)，但是delta cycle無限增加的情形下。可以在仿真開始時(shí)，使用如下tcl命令，可以使得delta cycle增加到一定數(shù)量后，讓仿真自動(dòng)停下來（注意這時(shí)候仿真并未中斷，這時(shí)候可以繼續(xù)操作仿真器）。它跟gateloopwarn這個(gè)option有點(diǎn)類似。

stop -delta 5000 -timestep -delbreak 1

一旦仿真停下來，我們就可以使用以下tcl命令debug該循環(huán)了：

>run -step//單步調(diào)試，注意這有一個(gè)前提就是要確保-linedebug這個(gè)option是事先打開的

>drivers -active //對(duì)應(yīng)跨越verilog和VHDL邊界的網(wǎng)絡(luò)就該使用drivers -effective命令

1.1.3zero-delay gate level無限循環(huán)

如果是gate level的仿真，注意要用-gateloopwarn這個(gè)option，其他參考1.1.2的做法

1.1.4錯(cuò)誤的使用timescale/time-precision

可以使用

>xrun -timescale 1ns/1ps -override_timescale//在elaborate階段使用即可

1.1.5設(shè)計(jì)中有組合邏輯環(huán)

可以使用toggle coverage來檢測(cè)是否有組合邏輯環(huán)。當(dāng)然也可以用HAL, 還可以用profiler,甚至還可以用高大上的JasperGold，工具如此之多，是不是有點(diǎn)懵逼，哈哈

1.2與仿真器(incisive)接口的C/C++代碼內(nèi)部的無限循環(huán)，比如PLI/VPI/DPI等；

這個(gè)足夠展開成一個(gè)專題了，這里就不展開了。

1.3仿真環(huán)境中的復(fù)雜隨機(jī)約束導(dǎo)致的仿真器掛死(hang)

簡(jiǎn)單來講就是啟用仿真器的心跳功能，

如果使用命令行啟用是這樣的

>xrun -xceligen heartbeat

如果通過Tcl命令啟用是這樣的：

xcelium>xceligen -heartbeat

如果通過環(huán)境變量啟用是這樣的

Setenv XCELIGEN_HEARTBEAT=[value]

BTW,如果想看求解器是如何迭代或被stuck的，可以使用-utrace這個(gè)選項(xiàng)。

1.4for循環(huán)的最大值不確定導(dǎo)致的無限循環(huán)

類似這種：for(int i=0; i!=var;i++) //如果var是X的話for循環(huán)就會(huì)進(jìn)入死循環(huán)（循環(huán)終止條件不確定）

1.5low power仿真中的hang(仿真掛起)；

這也可以展開成一個(gè)專題了，在這里就不展開了。

二、上面說的如此抽象，有裝逼的嫌疑，那到底該如何實(shí)現(xiàn)呢？別急后續(xù)結(jié)合具體的小例子慢慢展開，保證有圖有真相，敬請(qǐng)期待……

審核編輯 ：李倩