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

龍圖騰網(wǎng)恭喜上海韜潤半導(dǎo)體有限公司申請(qǐng)的專利芯片邏輯功能驗(yàn)證方法、計(jì)算機(jī)設(shè)備、程序產(chǎn)品及介質(zhì)獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN120046551B 。

龍圖騰網(wǎng)通過國家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-07-04發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202510520075.0，技術(shù)領(lǐng)域涉及：G06F30/33；該發(fā)明授權(quán)芯片邏輯功能驗(yàn)證方法、計(jì)算機(jī)設(shè)備、程序產(chǎn)品及介質(zhì)是由王澤坤;宋柯賢;黃現(xiàn)設(shè)計(jì)研發(fā)完成，并于2025-04-24向國家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本芯片邏輯功能驗(yàn)證方法、計(jì)算機(jī)設(shè)備、程序產(chǎn)品及介質(zhì)在說明書摘要公布了：本發(fā)明提供了一種芯片邏輯功能驗(yàn)證方法、計(jì)算機(jī)設(shè)備、程序產(chǎn)品及介質(zhì)，包括：獲取后端設(shè)計(jì)對(duì)芯片各個(gè)子模塊的劃分方案使芯片重新劃分為若干待驗(yàn)證模塊；獲取與待驗(yàn)證模塊相對(duì)應(yīng)的RTL設(shè)計(jì)方案；保持待驗(yàn)證模塊的端口不變，獲取與RTL設(shè)計(jì)方案相對(duì)應(yīng)的門級(jí)網(wǎng)表；通過門級(jí)網(wǎng)表和EDA工具進(jìn)行待驗(yàn)證模塊的物理實(shí)現(xiàn)，并獲取物理實(shí)現(xiàn)后的設(shè)計(jì)網(wǎng)表；根據(jù)設(shè)計(jì)網(wǎng)表獲取時(shí)序收斂后各個(gè)待驗(yàn)證模塊的時(shí)序信息以及各個(gè)待驗(yàn)證模塊的端口到目標(biāo)寄存器的第一延時(shí)，分別以預(yù)設(shè)延時(shí)減去第一延時(shí)標(biāo)注各個(gè)待驗(yàn)證模塊的端口，以對(duì)待驗(yàn)證模塊進(jìn)行帶時(shí)序信息的邏輯功能驗(yàn)證。該方案能夠?qū)崿F(xiàn)整個(gè)設(shè)計(jì)流程中人力和計(jì)算器資源的優(yōu)化，提高芯片邏輯功能驗(yàn)證的效率。

本發(fā)明授權(quán)芯片邏輯功能驗(yàn)證方法、計(jì)算機(jī)設(shè)備、程序產(chǎn)品及介質(zhì)在權(quán)利要求書中公布了：1.一種芯片邏輯功能驗(yàn)證方法，其特征在于，包括步驟： 獲取后端設(shè)計(jì)對(duì)待驗(yàn)證芯片的各個(gè)子模塊的劃分方案，使所述待驗(yàn)證芯片重新劃分為若干待驗(yàn)證模塊； 對(duì)所述待驗(yàn)證模塊進(jìn)行不帶時(shí)序信息的邏輯功能驗(yàn)證，獲取與所述待驗(yàn)證模塊相對(duì)應(yīng)的寄存器傳輸級(jí)設(shè)計(jì)方案； 保持所述待驗(yàn)證模塊的端口不變，獲取與所述寄存器傳輸級(jí)設(shè)計(jì)方案相對(duì)應(yīng)的門級(jí)網(wǎng)表； 保持所述待驗(yàn)證模塊的端口不變，通過所述門級(jí)網(wǎng)表和EDA工具進(jìn)行所述待驗(yàn)證模塊的物理實(shí)現(xiàn)，并獲取物理實(shí)現(xiàn)后與所述待驗(yàn)證模塊相對(duì)應(yīng)的設(shè)計(jì)網(wǎng)表； 根據(jù)所述設(shè)計(jì)網(wǎng)表獲取時(shí)序收斂后的各個(gè)所述待驗(yàn)證模塊的時(shí)序信息； 根據(jù)所述時(shí)序信息獲取各個(gè)所述待驗(yàn)證模塊的端口到其對(duì)應(yīng)的目標(biāo)寄存器的第一延時(shí)，并分別以預(yù)設(shè)延時(shí)減去所述第一延時(shí)獲得的第二延時(shí)標(biāo)注各個(gè)所述待驗(yàn)證模塊的端口，以對(duì)所述待驗(yàn)證模塊進(jìn)行帶時(shí)序信息的邏輯功能驗(yàn)證。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人上海韜潤半導(dǎo)體有限公司，其通訊地址為：201203 上海市浦東新區(qū)中國(上海)自由貿(mào)易試驗(yàn)區(qū)海科路929弄1號(hào)；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。