[導(dǎo)讀]驗證工程師的任務(wù)是發(fā)現(xiàn)所有的設(shè)計bug。為此驗證工程師必須要理解設(shè)計,并且和設(shè)計進行密切地合作。?驗證工程師對于設(shè)計的理解分為兩次層次,規(guī)格級別(?specificationlevel?)和RTL實現(xiàn)級別(implementationlevel?)?規(guī)格級別規(guī)定了設(shè)計的整體功能。...
驗證工程師的任務(wù)是發(fā)現(xiàn)所有的設(shè)計bug。為此驗證工程師必須要理解設(shè)計,并且和設(shè)計進行密切地合作。?驗證工程師對于設(shè)計的理解分為兩次層次,規(guī)格級別(?specification level?)和RTL實現(xiàn)級別(implementation level?)?規(guī)格級別規(guī)定了設(shè)計的整體功能。它包括體系結(jié)構(gòu)、輸入和輸出以及性能要求。體系結(jié)構(gòu)是設(shè)計的主要規(guī)格,例如處理器的指令集、I/O的協(xié)議、性能要求和內(nèi)部存儲的大小等。規(guī)格一般有很好的文檔記錄。?實現(xiàn)級別就是設(shè)計的微架構(gòu),例如控制流、數(shù)據(jù)流、時鐘門控以及狀態(tài)機等。實施級別的文檔一般會比較缺失,這些信息主要來自RTL的設(shè)計者。如有必要,驗證工程師可以通過設(shè)計深刻地理解設(shè)計的實現(xiàn),這有利于驗證工程師針對內(nèi)部設(shè)計進行更高效的壓力測試(這也是驗證人員需要看RTL的原因,端到端的黑盒功能驗證往往是不充分的)。?考慮到驗證人員在仿真時發(fā)現(xiàn)問題,某些驗證工程師可能會說,“你的代碼有bug,請馬上修復(fù)?!边@可能會激怒設(shè)計人員,并影響下次配合。而且大多數(shù)時候可能并不是RTL設(shè)計的問題,而是驗證環(huán)境的checker誤報,或者輸入非法場景激勵導(dǎo)致的。?所以當(dāng)發(fā)現(xiàn)仿真報錯時,我們應(yīng)該這樣和設(shè)計溝通:“我發(fā)現(xiàn)一個很有意思的場景,balabala,你能幫忙看一下么 ?”
本站聲明: 本文章由作者或相關(guān)機構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內(nèi)容真實性等。需要轉(zhuǎn)載請聯(lián)系該專欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請及時聯(lián)系本站刪除。