技術(shù)編號(hào)：6582837
提示：您尚未登錄，請點(diǎn) 登 陸 后下載，如果您還沒有賬戶請點(diǎn) 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細(xì)信息。本公開一般地涉及電子設(shè)計(jì)自動(dòng)化(EDA)。具體而言，本公開涉及用于通過使用抽 象_精化技術(shù)來驗(yàn)證電路設(shè)計(jì)的功能的方法和裝置。背景技術(shù)半導(dǎo)體制作技術(shù)的發(fā)展已經(jīng)造成每半導(dǎo)體器件的晶體管數(shù)量的急劇增加。晶體管 計(jì)數(shù)的這一增加使得計(jì)算機(jī)架構(gòu)師能夠創(chuàng)建具有急劇增加的設(shè)計(jì)復(fù)雜度的數(shù)字電路設(shè)計(jì)。 因而，隨著數(shù)字電路設(shè)計(jì)變得更復(fù)雜，也更多地涉及到為了驗(yàn)證它們的實(shí)施的正確性而需 要的工作。 為了驗(yàn)證電路設(shè)計(jì)的功能，電路設(shè)計(jì)驗(yàn)證團(tuán)隊(duì)通常執(zhí)行基于模擬的驗(yàn)證方法、形 式驗(yàn)證方法或...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。