買(mǎi)專利賣(mài)專利找龍圖騰，真高效！ 查專利查商標(biāo)用IPTOP,全免費(fèi)！專利年費(fèi)監(jiān)控用IP管家,真方便！

龍圖騰網(wǎng)恭喜瀾至電子科技(成都)有限公司申請(qǐng)的專利一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)及其驗(yàn)證方法獲國(guó)家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國(guó)家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN113868987B 。

龍圖騰網(wǎng)通過(guò)國(guó)家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-04-15發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202010621116.2，技術(shù)領(lǐng)域涉及：G06F30/33；該發(fā)明授權(quán)一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)及其驗(yàn)證方法是由毛惠敏;李順林設(shè)計(jì)研發(fā)完成，并于2020-06-30向國(guó)家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)及其驗(yàn)證方法在說(shuō)明書(shū)摘要公布了：本申請(qǐng)公開(kāi)了一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)及驗(yàn)證方法，該方法包括：通用驗(yàn)證方法學(xué)測(cè)試實(shí)例生成約束的隨機(jī)參數(shù)和隨機(jī)控制并將其存儲(chǔ)于總線功能模型的存儲(chǔ)區(qū)域；軟件測(cè)試實(shí)例通過(guò)中央處理器單元從所述存儲(chǔ)區(qū)域讀取所述隨機(jī)參數(shù)和隨機(jī)控制配置系統(tǒng)級(jí)芯片的測(cè)試；將所述軟件測(cè)試實(shí)例的執(zhí)行狀態(tài)信息存儲(chǔ)于所述存儲(chǔ)區(qū)域；所述通用驗(yàn)證方法學(xué)測(cè)試實(shí)例讀取所述執(zhí)行狀態(tài)信息，根據(jù)所述執(zhí)行狀態(tài)信息調(diào)整生成隨機(jī)參數(shù)和隨機(jī)控制的約束條件以排除已測(cè)場(chǎng)景，并將所述執(zhí)行狀態(tài)信息轉(zhuǎn)換成覆蓋率數(shù)據(jù)用于覆蓋率分析。

本發(fā)明授權(quán)一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)及其驗(yàn)證方法在權(quán)利要求書(shū)中公布了：1.一種系統(tǒng)級(jí)芯片的驗(yàn)證平臺(tái)，其特征在于，包括：與總線相連的總線功能模型單元，所述總線功能模型單元中設(shè)置有存儲(chǔ)區(qū)域，中央處理器單元通過(guò)所述總線訪問(wèn)所述存儲(chǔ)區(qū)域，通用驗(yàn)證方法學(xué)測(cè)試實(shí)例直接訪問(wèn)所述存儲(chǔ)區(qū)域；其中，所述通用驗(yàn)證方法學(xué)測(cè)試實(shí)例生成約束的隨機(jī)參數(shù)和隨機(jī)控制并將其存儲(chǔ)于所述存儲(chǔ)區(qū)域，軟件測(cè)試實(shí)例通過(guò)所述中央處理器單元讀取所述隨機(jī)參數(shù)和隨機(jī)控制并配置系統(tǒng)級(jí)芯片的測(cè)試，并且，所述軟件測(cè)試實(shí)例的執(zhí)行狀態(tài)信息通過(guò)所述中央處理器單元存儲(chǔ)于所述存儲(chǔ)區(qū)域并被所述通用驗(yàn)證方法學(xué)測(cè)試實(shí)例讀取。

如需購(gòu)買(mǎi)、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人瀾至電子科技(成都)有限公司，其通訊地址為：610200 四川省成都市雙流區(qū)東升街道成都芯谷產(chǎn)業(yè)園集中區(qū)內(nèi)；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。