經過遠程的事故回放,可以說情況是非常明確的,這個代碼的互連結構就是這么個典型結構:
如果用代碼表示呢,大概其就是這樣:
assign vid_in = u_tx_if.valid;
assign data_in = u_tx_if.data;
initial begin
force vid_in = 1'b0;
end
然后肇事者做個了什么操作呢,他去對RTL的接口進行了force。說句題外話,講真的其實個人是不太理解在環境與RTL進行互連的時候為什么會有force操作的,在我看來assign是完成能夠互連任務的。
唯一一種我能想到的場景就是RTL分別例化在BT和SST環境時,為了省力氣不想重新做互連結構所以通過force的方式進行驅動,除此之外不太能理解force的出現了。
還有一個原因讓我一直避免force,剛畢業的時候有大佬和我講,force、callback和宏是驗證環境里的三口“毒品”,用起來雖然很爽能快速的達到目的但是無異于飲鴆止渴,給環境帶來了很大的不確定和不可控風險。
扯遠了,回到剛剛的問題,肇事者對RTL的接口進行了force,而后出現的現象就是,monitor通過u_tx_if采樣時還是采樣到了1也就是driver驅動的數值而不是force在接口上的數值。
為什么還會采樣到1呢?顯然這里犯了一個形而上學的bug,仿真工具只是在模擬真實電路的行為,不是真的在內部搭了一個電路,不是說通過assign a = b之后a和b就真的通過一根線給連在一起綁在一艘船上了!仿真時只會把assign等號右邊的值u_tx_if.valid賦值給左邊,不會把左邊的vid_in賦值給右邊啊:
那你mon連接的是u_tx_if,必然能夠采樣到drv本身驅動到interface上的值啊!
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。
舉報投訴
相關推薦
假如在tb中有如下instantiation,wire b;module_a module_a(.a_in(b););然后force module_a.a_in = 0;這樣的話, b的值會不會也被force為0啊?
發表于 11-05 10:45
請問各位大佬這兩條語句分別如何理解,1、force angle freq是什么頻率?(力角頻率?) 2、IQ FULL SCALE VOLTAGE請問IQ是什么意思,整個語句又怎么理解呢,謝謝各位大佬解答
發表于 08-19 11:06
swp2 ping192.168.100.1我的期望也是可以通的,因為這個口帶了pvid 100,當流量過來的時候會加上pvid,實際結果是不通的,pvid功能貌似沒生效?能請教下嗎,謝謝
發表于 12-31 06:03
CubeMxSetting配置參數在rt-thread studio生效之后,編譯之后出現“stm32f4xx_hal_conf.h: No such file or directory”,stm32f4xx_hal_conf.
發表于 05-23 09:46
Crimp Force Monitor is a product using highly sensitive force sensors to detectdefective crimping.
發表于 08-25 15:05
?21次下載
Since its introduction, it has been recognized that the atomic force microscope (AFM) offers a
發表于 08-02 11:09
?12次下載
IntroductionAtomic force microscopy (AFM) isa powerful characterization toolfor polymer science
發表于 08-03 12:59
?11次下載
Figure 1. In Force spectroscopy raster-scanning is disabled temporarily or indefi
發表于 08-06 11:30
?13次下載
Introduction In the past two decades Atomic Force Microscopy (AFM)1 has been recognized as a
發表于 08-10 11:08
?10次下載
Abstract: This article discusses application circuits for Maxim force/sense digital-to-analog
發表于 04-20 16:30
?873次閱讀
Abstract: This article discusses application circuits for Maxim force/sense digital-to-analog
發表于 04-24 16:09
?611次閱讀
前兩天蔚來的召回事件在圈子里激起了不小的風波,根據蔚來的描述,電池起火是由于模組采樣線短路引起的。我曾經看到過幾起真實的電池采樣線短路引起的電池著火事件,下面來描述一下具體的過程。首先,看下采樣線在模組中的位置。
發表于 11-06 08:00
?15次下載
【RT-Thread學習筆記】十分鐘學會Makefile的FORCE
發表于 07-30 13:55
?2464次閱讀
對于瞬態沖擊信號,為了捕捉到沖擊瞬間的幅值,則要求采樣頻率更高。當采樣頻率提高之后,通過上面數據大小計算公式可以看出,數據必然變大。因此,在一些爆炸采集時,采樣率可能高達MHz,這個時
發表于 08-09 16:10
?1.8w次閱讀
經過變頻器之后,再進行采樣。 1. 基帶采樣 基帶信號是指在頻率范圍內從零到帶寬B內的信號。基帶采樣是指將基帶信號在時間上進行離散化取樣的過程。采樣
發表于 10-22 11:24
?2278次閱讀
評論