當(dāng)前位置：首頁 > 公眾號精選 > 芯片驗證工程師

驗證工程師面試題：找出這個verilog中的bug（corner?case）

時間：2021-11-11 14:18:56

關(guān)鍵字： corner verilog se

手機(jī)看文章

掃描二維碼
隨時隨地手機(jī)看文章

[導(dǎo)讀]下面是一個小的真實verilog代碼，具有異步set/reset邏輯（低電平有效）的觸發(fā)器模型。這個verilog模型可以正確地綜合，但在一個cornercase情況下仿真結(jié)果不正確。這個cornercase是什么？always_ff@(posedgeclkornegedgers...

下面是一個小的真實verilog 代碼，具有異步set/reset邏輯（低電平有效）的觸發(fā)器模型。這個verilog模型可以正確地綜合，但在一個 corner case情況下仿真結(jié)果不正確。這個 corner case是什么？

always_ff @( posedge clkor negedge rst_n // active-low resetor negedge set_n // active-low set)if (!rst_n) // reset has priority over set q_out <= '0; // reset all bits to zeroelse if (!set_n) q_out <= '1; // set all bits to oneelse q_out <= data_in; // d input assignment這個verilog模型按預(yù)期正確地進(jìn)行綜合，然而在某些仿真條件下功能錯誤。

當(dāng)rst_n變低，它可以正確地異步復(fù)位觸發(fā)器。然后拉低set_n，在rst_n和set_n同時為低的情況下，觸發(fā)器將正確地保持復(fù)位，因為在verilog代碼中復(fù)位的優(yōu)先級比置位的優(yōu)先級高。

到目前為止，一切都很好。接下來，rst_n變高，set_n保持低。由于敏感度列表只對rst_n和set_n的負(fù)邊沿敏感，因此rst_n的拉高不會觸發(fā)敏感列表。這意味著，當(dāng)只有set_n為低電平時觸發(fā)器仍然處于復(fù)位狀態(tài)！

這個問題引入的關(guān)鍵在于，實際的異步置位/復(fù)位是電平敏感的，因此當(dāng)復(fù)位信號rst_n被拉高時仍然會正確地發(fā)生置位。這就使得仿真和綜合后的電路行為mismatch。

為了避免這種麻煩，有兩種推薦的編碼風(fēng)格：

第一種方法：

1)在敏感度列表中新增一個敏感條件。

2)使用條件編譯(`ifdef/`endif)或綜合選項(translate_off/translate_on)對綜合工具隱藏。

always_ff @( posedge clkor negedge rst_n // active-low resetor negedge set_n // active-low set`ifndef SYNTHESIS // non-synthesizable simulation codeor posedge (rst_n


                        
                欲知詳情，請下載word文檔 下載文檔
            
            
                                                 
            
                                        本站聲明： 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布，目的在于傳遞更多信息，并不代表本站贊同其觀點，本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者，如若文章內(nèi)容侵犯您的權(quán)益，請及時聯(lián)系本站刪除。
                        
                
            

            

            







    
        
            
                
                換一批
            
            延伸閱讀
        
                
                                                    
                            [產(chǎn)業(yè)新聞]
                                仙途智能autowise.ai 2022 Q1業(yè)務(wù)十倍速增長
                            
                            
                                   持續(xù)引進(jìn)行業(yè)高級人才    上海2022年4月18日 /美通社/ -- 近日，全球領(lǐng)先的自動駕駛智能環(huán)衛(wèi)公司仙途智能autowise.ai 公布2022 Q1營收情況。數(shù)據(jù)顯示，2022年Q1，autowise.a...
                                關(guān)鍵字：
								                                    se
                                							
                            
                        
                                                                        
                            [美通社全球TMT]
                                仙途智能autowise.ai 2022年第一季度業(yè)務(wù)十倍速增長
                            
                            
                                 （全球TMT2022年4月18日訊）自動駕駛智能環(huán)衛(wèi)公司仙途智能autowise.ai 公布2022 Q1營收情況。數(shù)據(jù)顯示，2022年Q1，autowise.ai實現(xiàn)營收數(shù)千萬元，在執(zhí)行合同額達(dá)數(shù)億元，創(chuàng)歷史新高，實...
                                關(guān)鍵字：
								                                    se
                                							
                            
                        
                                                                        
                            [產(chǎn)業(yè)新聞]
                                Helly Hansen發(fā)布HH-Archive春夏系列
                            
                            
                                   生于海，長于山    上海2022年4月2日 /美通社/ -- 深受世界戶外愛好者及探險家青睞的挪威國寶級戶外品牌海麗漢森Helly Hansen（簡稱HH），創(chuàng)立以來始終秉持專業(yè)精神，專注打造高端專業(yè)戶外裝備。近...
                                關(guān)鍵字：
								                                    se
                                                                    rc
                                							
                            
                        
                                                                        
                            [產(chǎn)業(yè)新聞]
                                Synpulse在中國硅谷深圳擴(kuò)大業(yè)務(wù)，滿足北亞不斷增長的客戶需求
                            
                            
                                深圳新辦事處2022年全速推進(jìn)，快速招聘頂尖人才
                                    			蘇黎世2022年3月30日 /美通社/ -- 全球性專業(yè)服務(wù)公司Synpulse今天宣布在數(shù)...
                                關(guān)鍵字：
								                                    se
                                                                    npu
                                							
                            
                        
                                                                        
                            [產(chǎn)業(yè)新聞]
                                ADI公司和Gridspertise攜手合作提升全球智能電網(wǎng)彈性和電氣化
                            
                            
                                北京2022年3月29日 /美通社/ -- Analog Devices, Inc. (NASDAQ: ADI)和Gridspertise宣布攜手合作提高全球智能電網(wǎng)的彈性和質(zhì)量。Gridspertise是一家...
                                關(guān)鍵字：
								                                    se
                                                                    電氣
                                                                    智能電網(wǎng)
                                							
                            
                        
                                                                        
                            [美通社全球TMT]
                                ADI公司和Gridspertise合作提升全球智能電網(wǎng)彈性和電氣化
                            
                            
                                 （全球TMT2022年3月29日訊）Analog Devices, Inc. 和Gridspertise宣布攜手合作提高全球智能電網(wǎng)的彈性和質(zhì)量。Gridspertise是一家為配電系統(tǒng)運(yùn)營商(DSO)提供先...
                                關(guān)鍵字：
								                                    ADI
                                                                    智能電網(wǎng)
                                                                    se
                                							
                            
                        
                                                                        
                            [產(chǎn)業(yè)新聞]
                                浪潮元宇宙服務(wù)器全面支持英偉達(dá)Omniverse
                            
                            
                                北京2022年3月24日 /美通社/ -- 3月22日，浪潮信息宣布元宇宙服務(wù)器MetaEngine全面支持NVIDIA Omniverse Enterprise，提供支撐大規(guī)模數(shù)字孿生場景的軟硬件一體化解決方案OVX，...
                                關(guān)鍵字：
								                                    英偉達(dá)
                                                                    se
                                                                    ni
                                							
                            
                        
                                                                        
                            [美通社全球TMT]
                                中國電信獲《The Asset》‘企業(yè)金獎’及‘最佳首席執(zhí)行官’大獎
                            
                            
                                 （全球TMT2022年3月23日訊）中國電信股份有限公司公布，公司在《The Asset》的‘2021年ESG企業(yè)大獎’評選中，勇奪‘杰出環(huán)境、社會及管治企業(yè)金獎’。同時，執(zhí)行董事、董事長兼首席執(zhí)行官柯瑞文先生在此次評...
                                關(guān)鍵字：
								                                    中國電信
                                                                    se
                                							
                            
                        
                                                                        
                            [美通社全球TMT]
                                RTB House任命數(shù)字廣告專家Shien Zhu為亞太區(qū)品牌銷售副總裁
                            
                            
                                 （全球TMT2022年3月2日訊）為全球領(lǐng)先品牌提供營銷解決方案的全球性公司RTB House宣布，資深的數(shù)字廣告專家Shien Zhu（祝師恩） 將加入其東京辦事處，擔(dān)任亞太區(qū)品牌銷售副總裁。正值該公司繼續(xù)...
                                關(guān)鍵字：
								                                    se
                                							
                            
                        
                                                                        
                            [產(chǎn)業(yè)新聞]
                                RTB House加強(qiáng)亞太區(qū)業(yè)務(wù)，任命Shien Zhu為亞太區(qū)品牌銷售副總裁
                            
                            
                                                       新加坡2022年3月1日 /美通社/ -- 為全球領(lǐng)先品牌提供先進(jìn)營銷解決方案的全球性公司RTB House今天宣布，資深的數(shù)字廣告專家Shien Zhu（祝師恩） ...
                                關(guān)鍵字：
								                                    se
                                							
                            
                        
                                        

        
                                                
                        [美通社全球TMT]
                            
                                孚昇電子收購新加坡電子元件測試中心Prosemi
                            
                        

                             （全球TMT2022年2月22日訊）孚昇電子（Fusion Worldwide）收購了位于新加坡的大型電子元件測試公司Prosemi Mfg Pte Ltd。由于供應(yīng)鏈經(jīng)歷了歷史性的限制，導(dǎo)致周轉(zhuǎn)時間過長，此次收購將進(jìn)...

                            關(guān)鍵字：
								                                    os
                                                                    se
                                                                    電子元件
                                							
                        
                    
                                                                
                        [產(chǎn)業(yè)新聞]
                            
                                Raise3D上海復(fù)志完成C輪1億元融資
                            
                        

                            上海2022年2月18日 /美通社/ -- 全球?qū)I(yè)級3D打印機(jī)制造商Raise3D上海復(fù)志（上海復(fù)志信息技術(shù)有限公司，以下簡稱“Raise3D”） 宣布完成C輪1億元人民幣融資。本輪融資由金浦智能領(lǐng)投，創(chuàng)鈺投資跟投，B...

                            關(guān)鍵字：
								                                    se
                                							
                        
                    
                                                                
                        [美通社全球TMT]
                            
                                3D打印機(jī)制造商Raise3D上海復(fù)志完成C輪1億元融資
                            
                        

                             （全球TMT2022年2月18日訊）全球?qū)I(yè)級3D打印機(jī)制造商Raise3D上海復(fù)志（上海復(fù)志信息技術(shù)有限公司，簡稱“Raise3D”） 宣布完成C輪1億元人民幣融資。本輪融資由金浦智能領(lǐng)投，創(chuàng)鈺投資跟投，B+輪投資人...

                            關(guān)鍵字：
								                                    3D打印機(jī)
                                                                    se
                                							
                        
                    
                                                                
                        [產(chǎn)業(yè)新聞]
                            
                                Intersec 5G ready 地理定位平臺加速了定位用例的啟用
                            
                        

                            法國巴黎2022年1月18日 /美通社/ -- Intersec（或“公司”），移動和活動數(shù)據(jù)解決方案的全球領(lǐng)導(dǎo)者，宣布加速推動全球一級運(yùn)營商應(yīng)用其 5G-ready 地理定位平臺，進(jìn)而根據(jù)數(shù)據(jù)隱私法規(guī)從新的&...

                            關(guān)鍵字：
								                                    se
                                							
                        
                    
                                                                
                        [美通社全球TMT]
                            
                                Intersec 5G ready地理定位平臺加速了定位用例的啟用
                            
                        

                             （全球TMT2022年1月19日訊）移動和活動數(shù)據(jù)解決方案的全球領(lǐng)導(dǎo)者，Intersec宣布加速推動全球一級運(yùn)營商應(yīng)用其?5G-ready 地理定位平臺，進(jìn)而根據(jù)數(shù)據(jù)隱私法規(guī)從新的?5G 定位用例中獲利。法國、加拿大、...

                            關(guān)鍵字：
								                                    se
                                							
                        
                    
                                                                
                        [美通社全球TMT]
                            
                                Nano Dimension宣布收購Essemtec AG
                            
                        

                             （全球TMT2021年12月30日訊）Nano Dimension有限公司，一家行業(yè)領(lǐng)先的增材制造電子（AME）/3D印刷電子（PE）和微納增材制造（Micro-AM）產(chǎn)品供應(yīng)商，該公司宣布已經(jīng)簽署并達(dá)成了一項最終協(xié)議...

                            關(guān)鍵字：
								                                    se
                                                                    mt
                                							
                        
                    
                                                                
                        [美通社全球TMT]
                            
                                亞馬遜云科技宣布推出Amazon IoT FleetWise
                            
                        

                             （全球TMT2021年12月2日訊）在亞馬遜云科技re:Invent全球大會上，亞馬遜云科技宣布推出Amazon IoT FleetWise，讓汽車制造商更輕松、更經(jīng)濟(jì)地收集、管理汽車數(shù)據(jù)，同時幾乎實時上傳到云端。通過...

                            關(guān)鍵字：
								                                    亞馬遜
                                                                    se
                                							
                        
                    
                                                                
                        [產(chǎn)業(yè)新聞]
                            
                                合同總價再創(chuàng)新高，autowise.ai自動駕駛車隊駛?cè)肭鄭u
                            
                        

                            上海2021年11月16日 /美通社/ -- Autowise.ai自動駕駛清掃版圖再添一城。12月1日起，autowise.ai自動駕駛清掃車將于青島市開展為期五年的環(huán)衛(wèi)一體化服務(wù)，整體作業(yè)面積近350萬平方...

                            關(guān)鍵字：
								                                    自動駕駛
                                                                    se
                                							
                        
                    
                                                                
                        [全棧芯片工程師]
                            
                                Cells in PD | PD Essentials | Physical Design
                            
                        

                            CellsinASICPhysicalDesignSpecialCellRequirementsinICDesignistominimizethepossibleCMOSissuesMoreno.oftransistor...

                            關(guān)鍵字：
								                                    Design
                                                                    Physical
                                                                    se
                                							
                        
                    
                                                                
                        [芯片驗證工程師]
                            
                                大家寫verilog的時候會把電路圖先畫出來嗎？
                            
                        

                            設(shè)計分2種，一種叫前向設(shè)計，另一種叫后向設(shè)計。?后向設(shè)計就是我們只知道需求，知道要實現(xiàn)什么功能，但是暫時腦子里還沒有具體的結(jié)構(gòu)。多數(shù)時候都是后向設(shè)計。此時，先開始把module的input和output寫好。然后從out...

                            關(guān)鍵字：
								                                    verilog
                                                                    電路圖


        
                                        
                    
                        
                                            
                    芯片驗證工程師

                    
                        85 篇文章
                        
                                                            關(guān)注 
                                                    
					
                    發(fā)布文章
                    
                
                        
                            
            
            
                                                    
                    
                    

                
            
            
                
                
                                    
                    
                            
            
            
                    

    
        廠商專欄
    
    
        
                            
                    
                        
                        廠商動態(tài)
                        5933篇文章
                    
                
                            
                    
                        
                        貿(mào)澤電子
                        993篇文章
                    
                
                            
                    
                        
                        意法半導(dǎo)體
                        939篇文章
                    
                
                            
                    
                        
                        ADI
                        892篇文章
                    
                
                            
                    
                        
                        英飛凌
                        677篇文章
                    
                
                            
                    
                        
                        TrendForce集邦咨詢
                        472篇文章
                    
                
                    
    


    
        熱門文章
    
    
        









                            
                    一文搞懂脈沖寬度調(diào)制（PWM）原理、頻率與占空比
                
                            
                    國產(chǎn)GPU第一股摩爾線程終于來了：12月5日上市 市值537億
                
                            
                    1.2億天價罰單！全球第三大設(shè)備商因臺積電2nm泄密案被起訴
                
                            
                    科技巨頭集體預(yù)警：內(nèi)存價格將大幅上漲！
                
                            
                    基于PLC的焊點檢測隔離機(jī)的電控設(shè)計
                
                            
                    盤點GET 和 POST請求的本質(zhì)區(qū)別
                
                            
                    CAN收發(fā)器
                
                            
                    CAN的數(shù)據(jù)幀
                
                            
                    荷蘭安世仍未向中國供應(yīng)晶圓 全球汽車產(chǎn)線幾周內(nèi)或?qū)⑼．a(chǎn)
                
                            
                    終止一切對華采購！美國汽車巨頭要求數(shù)千供應(yīng)商“斷華”！
                
                    
    

            
            
            
            
            
            
            
            
    編輯精選
    
    


    更多
        論壇活動
    
    
        
                            
                                            
                        
                                        “變現(xiàn)”指南：上傳資料獲三重紅包，親測有效！
                    
                
                            
                                        FPGA供電應(yīng)用遇挑戰(zhàn)？MPS高性能FPGA供電解決方案幫你破局
                    
                
                            
                                        安富利3kW模擬電源供應(yīng)器（PSU）解決方案開發(fā)板來襲，申請領(lǐng)好禮
                    
                
                            
                                        Littelfuse應(yīng)用學(xué)習(xí)社第一期：打造更穩(wěn)定與安全的數(shù)據(jù)中心解決方案
                    
                
                    
    



    更多
        論壇熱帖
        
            
                十大技術(shù)帖
                十大生活帖
            
        
        
            
                                    【每周分享】程序員真的逃不過35歲被裁的坎嗎？ 
                                    【每周分享】公司已經(jīng)裁掉我了，還在繼續(xù)安排大量工作給我，這合適嗎？ 
                                    【每周分享】努力、運(yùn)氣、選擇，哪一個更重要？ 
                                    CW32L012固件庫發(fā)現(xiàn)兩處問題 
                                    CW32L011休眠模式 偶發(fā)無法喚醒 
                                    gd32f4 中斷影響adc采樣怎么解決 
                                    GD32F303定時器捕獲頻率出現(xiàn)問題 
                                    用PMOS做開關(guān)的電路，開關(guān)按下PMOS導(dǎo)通，電路為啥不行呢 
                                    APM32F407備份SRAM VBAT測試避坑指南：從誤判到精準(zhǔn)檢測 
                                    極海的APM32F425和APM32F427到底有什么區(qū)別？ 
                            
            
                                    去地里撿的胡蘿卜 
                                    【每周分享】食品安全咋就這么嚴(yán)重 
                                    終于滿簽 
                                    帶飯來公司也麻煩 
                                    充完電不拔充電器？是在拿命“豪賭”！ 
                                    寧德時代全員漲薪，工資真高 
                                    同事午休打呼嚕的聲音是真大 
                                    為什么上班以后越來越胖 
                                    【每周分享】放下，才能回歸幸福 
                                    【每周分享】還有三十天，又一年結(jié)束了 
                            
        
    


    
        技術(shù)子站
    
    
        
    


    更多
        資料下載
    
        
        
                            Quartus? Prime 專業(yè)版用戶指南
                            開源無線麥克風(fēng)（Open-Source Wireless Microphone）項目
                            ad 3D封裝庫
                            認(rèn)識電子元件及其符號
                            	電子萬年歷畢業(yè)設(shè)計(基于AT89C51單片機(jī)和DS1302時鐘芯片).zip
                            	基于C51單片機(jī)程序例程軟件源碼-RS485通信.zip
                            戴爾筆記本3501電路圖
                            單間開關(guān)機(jī)電路
                            電源開關(guān)設(shè)計秘籍
                            CiA 簡介
                    
    



    更多
        技術(shù)學(xué)院
    
    
        
                            TrendForce集邦咨詢: 預(yù)估2026年全球AI 服務(wù)器出貨年增逾28%，ASIC類別占比擴(kuò)大

                            TrendForce集邦咨詢: 美光收購力積電銅鑼晶圓廠，2027年全球DRAM供給或?qū)⑸闲?/a>


                            TrendForce集邦咨詢: 新機(jī)調(diào)價抑制銷售需求，2026年第二季度起智能手機(jī)生產(chǎn)承壓明顯

                            電動汽車電池管理系統(tǒng)原理

                            手把手教你如何解決MySQL order by limit語句的分頁數(shù)據(jù)重復(fù)問題

                            盤點PCB電路板上需要有測試點的原因

                            盤點晶體諧振器振蕩頻率溫度特性異常的幾個原因

                            PCB板的ESD保護(hù)電路設(shè)計原理解析