技術(shù)編號(hào)：11774952
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及隨機(jī)驗(yàn)證領(lǐng)域，具體地說是一種隨機(jī)約束可選擇的基于覆蓋率驅(qū)動(dòng)的隨機(jī)驗(yàn)證方法。背景技術(shù)隨著工藝技術(shù)以及應(yīng)用領(lǐng)域的不斷發(fā)展，芯片的復(fù)雜度不斷提高，相對(duì)應(yīng)的，對(duì)仿真驗(yàn)證工作的要求也在不斷提高，需要進(jìn)行仿真驗(yàn)證的功能點(diǎn)越來越繁復(fù)，驗(yàn)證周期的要求越來越嚴(yán)格?，F(xiàn)有的芯片設(shè)計(jì)流程分為前端設(shè)計(jì)（邏輯設(shè)計(jì)）和后端設(shè)計(jì)（物理設(shè)計(jì)）兩個(gè)階段。前端設(shè)計(jì)主要是以通過硬件描述語言（如verilog）來實(shí)現(xiàn)芯片的邏輯功能，代碼描述的正確性主要通過對(duì)這些代碼（或是由這些代碼生成的網(wǎng)表）的仿真驗(yàn)證來實(shí)現(xiàn)。在標(biāo)準(zhǔn)的仿真驗(yàn)證...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。