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

龍圖騰網(wǎng)恭喜中國科學(xué)院軟件研究所申請的專利分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法及分布式服務(wù)器獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN119494301B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-05-16發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202411510697.7，技術(shù)領(lǐng)域涉及：G06F30/3323；該發(fā)明授權(quán)分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法及分布式服務(wù)器是由張昕荻;蔡少偉設(shè)計(jì)研發(fā)完成，并于2024-10-28向國家知識產(chǎn)權(quán)局提交的專利申請。

本分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法及分布式服務(wù)器在說明書摘要公布了：本發(fā)明提供了一種分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法及分布式服務(wù)器，該方法包括：將待驗(yàn)證的兩個(gè)數(shù)據(jù)通路電路進(jìn)行重寫，得到電路結(jié)構(gòu)相似的兩個(gè)電路描述文件；根據(jù)電路描述文件構(gòu)造Miter電路；對Miter電路進(jìn)行隨機(jī)邏輯仿真獲取內(nèi)部的潛在等價(jià)節(jié)點(diǎn)并存放于等價(jià)節(jié)點(diǎn)隊(duì)列；從等價(jià)節(jié)點(diǎn)隊(duì)列中選擇潛在等價(jià)節(jié)點(diǎn)對并提取其扇入錐，根據(jù)兩組扇入錐構(gòu)造子miter電路；根據(jù)子miter電路中異或塊的稠密程度選取驗(yàn)證模式并對子miter電路進(jìn)行驗(yàn)證；若驗(yàn)證成功則合并對應(yīng)的潛在等價(jià)節(jié)點(diǎn)和對應(yīng)的扇入錐，否則繼續(xù)驗(yàn)證其他潛在等價(jià)節(jié)點(diǎn)對，直到所有潛在等價(jià)節(jié)點(diǎn)驗(yàn)證完成；使用SAT求解器執(zhí)行最終的等價(jià)驗(yàn)證并返回驗(yàn)證結(jié)果，高效地實(shí)現(xiàn)數(shù)據(jù)通路組合等價(jià)性驗(yàn)證。

本發(fā)明授權(quán)分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法及分布式服務(wù)器在權(quán)利要求書中公布了：1.一種分布式數(shù)據(jù)通路組合等價(jià)性驗(yàn)證方法，其特征在于，所述方法包括：S11、將待驗(yàn)證的兩個(gè)數(shù)據(jù)通路電路描述文件進(jìn)行重寫，得到電路結(jié)構(gòu)相似的兩個(gè)電路描述文件；S12、根據(jù)電路結(jié)構(gòu)相似的兩個(gè)電路描述文件構(gòu)造一個(gè)Miter電路文件；S13、對所述Miter電路文件進(jìn)行隨機(jī)邏輯仿真，獲取Miter電路文件內(nèi)部的潛在等價(jià)節(jié)點(diǎn)，將歸屬于同一等價(jià)類的潛在等價(jià)節(jié)點(diǎn)存放于同一等價(jià)節(jié)點(diǎn)隊(duì)列；S14、對于每一等價(jià)節(jié)點(diǎn)隊(duì)列，從中選擇潛在等價(jià)節(jié)點(diǎn)對，并提取當(dāng)前潛在等價(jià)節(jié)點(diǎn)對的扇入錐，根據(jù)當(dāng)前潛在等價(jià)節(jié)點(diǎn)對的扇入錐構(gòu)造子miter電路文件；S15、根據(jù)子miter電路文件中異或塊的稠密程度選取用于驗(yàn)證所述子miter電路文件的驗(yàn)證模式并對所述子miter電路文件進(jìn)行驗(yàn)證，所述驗(yàn)證模式包括格雷排布完備仿真模式和分布式電路可滿足性求解模式；所述根據(jù)子miter電路文件中異或塊的稠密程度選取用于驗(yàn)證所述子miter電路文件的驗(yàn)證模式，包括：根據(jù)當(dāng)前分布式求解系統(tǒng)中的總CPU核心數(shù)量、子miter電路文件中異或聯(lián)通塊的數(shù)量k以及每一異或聯(lián)通塊大小計(jì)算第一預(yù)計(jì)驗(yàn)證運(yùn)行時(shí)間： ，其中為預(yù)設(shè)參數(shù)；根據(jù)當(dāng)前分布式求解系統(tǒng)中的總CPU核心數(shù)量和影響錐的輸入引線數(shù)量計(jì)算第二預(yù)計(jì)驗(yàn)證運(yùn)行時(shí)間： ；如果，其中為預(yù)設(shè)參數(shù)，則選取格雷排布完備仿真模式，否則選取分布式電路可滿足性求解模式；S16、如果驗(yàn)證成功，則合并對應(yīng)的潛在等價(jià)節(jié)點(diǎn)和對應(yīng)的扇入錐以實(shí)現(xiàn)Miter電路文件的電路化簡，否則返回步驟S14繼續(xù)驗(yàn)證當(dāng)前等價(jià)節(jié)點(diǎn)隊(duì)列中的其他潛在等價(jià)節(jié)點(diǎn)對，直到所有潛在等價(jià)節(jié)點(diǎn)驗(yàn)證完成；S17、使用SAT求解器對步驟S16最終更新后的等價(jià)簡化電路進(jìn)行求解，根據(jù)求解結(jié)果確定待驗(yàn)證的兩個(gè)數(shù)據(jù)通路電路是否等價(jià)。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人中國科學(xué)院軟件研究所，其通訊地址為：100086 北京市海淀區(qū)中關(guān)村南四街4號；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。