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

龍圖騰網(wǎng)獲悉浙江雷娜科技有限公司申請(qǐng)的專利一種分布式多進(jìn)程時(shí)序違例分析方法獲國(guó)家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國(guó)家知識(shí)產(chǎn)權(quán)局授予，授權(quán)公告號(hào)為：CN120181002B 。

龍圖騰網(wǎng)通過國(guó)家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-08-26發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為：202510654696.8，技術(shù)領(lǐng)域涉及：G06F30/3315；該發(fā)明授權(quán)一種分布式多進(jìn)程時(shí)序違例分析方法是由樓英明;代其鋒;鄭成設(shè)計(jì)研發(fā)完成，并于2025-05-21向國(guó)家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。

本一種分布式多進(jìn)程時(shí)序違例分析方法在說明書摘要公布了：本發(fā)明涉及一種分布式多進(jìn)程時(shí)序違例分析方法，屬于電子設(shè)計(jì)自動(dòng)化領(lǐng)域，該方法包括以下步驟：S1.根據(jù)驅(qū)動(dòng)端口對(duì)電路圖進(jìn)行切分，切分?jǐn)?shù)據(jù)塊包括時(shí)序弧、引腳信息和連線信息，連線數(shù)據(jù)塊含了起始引腳和終止引腳；S2.啟動(dòng)多進(jìn)程，各進(jìn)程加載一個(gè)切分?jǐn)?shù)據(jù)塊，構(gòu)建相應(yīng)的時(shí)序子圖，并對(duì)該時(shí)序子圖進(jìn)行分析，且各進(jìn)程間通過數(shù)據(jù)交換建立時(shí)序子圖間的依賴關(guān)系；S3.各進(jìn)程分別讀取對(duì)應(yīng)時(shí)序子圖的時(shí)序約束信息、工藝庫文件，然后根據(jù)拓?fù)湫蜻M(jìn)行時(shí)序計(jì)算和引腳翻轉(zhuǎn)值計(jì)算，通過進(jìn)程間通信完成依賴傳播；S4.對(duì)多進(jìn)程輸出時(shí)序信息，完成時(shí)序報(bào)告，報(bào)告時(shí)序違例。本發(fā)明通過分布式的計(jì)算極大提高了分析效率，且能適用于綜合的各個(gè)階段。

本發(fā)明授權(quán)一種分布式多進(jìn)程時(shí)序違例分析方法在權(quán)利要求書中公布了：1.一種分布式多進(jìn)程時(shí)序違例分析方法，其特征在于：其包括以下步驟： S1.根據(jù)驅(qū)動(dòng)端口對(duì)電路圖進(jìn)行切分，切分?jǐn)?shù)據(jù)塊包括時(shí)序弧、引腳信息和連線信息，連線數(shù)據(jù)塊包含了起始引腳和終止引腳； S2.啟動(dòng)多進(jìn)程，各進(jìn)程加載一個(gè)切分?jǐn)?shù)據(jù)塊，構(gòu)建相應(yīng)的時(shí)序子圖，并對(duì)該時(shí)序子圖進(jìn)行分析，且各進(jìn)程間通過數(shù)據(jù)交換建立時(shí)序子圖間的依賴關(guān)系，具體步驟包括： S2.1.啟動(dòng)分布式系統(tǒng)，分布式系統(tǒng)中的每個(gè)進(jìn)程存在相應(yīng)的id標(biāo)識(shí)，id的序號(hào)為0~m-1，m為引腳數(shù)組大小，各進(jìn)程根據(jù)自身的id讀取對(duì)應(yīng)數(shù)組并獲取數(shù)組中的數(shù)據(jù)，進(jìn)而形成多個(gè)分區(qū)，將各進(jìn)程的id作為對(duì)應(yīng)的分區(qū)id； S2.2.多進(jìn)程加載連線數(shù)據(jù)，在進(jìn)程內(nèi)部構(gòu)造時(shí)序子圖，其中，V表示引腳集合，E表示連線集合； S2.3.多進(jìn)程同時(shí)生成引腳的分區(qū)信息，所述的分區(qū)信息為一個(gè)引腳到分區(qū)id的映射，記錄每個(gè)引腳在哪些進(jìn)程中存在，并將該信息寫到共享介質(zhì)中； S2.4.多進(jìn)程程序根據(jù)自身id讀取引腳的信息、引腳的分區(qū)信息，遍歷引腳中的所有分區(qū)id，構(gòu)建引腳詳情信息，引腳詳情信息包括引腳的基本屬性、分區(qū)id，根據(jù)分區(qū)id拷貝多份引腳詳情信息，根據(jù)分區(qū)下標(biāo)放入到對(duì)應(yīng)的存儲(chǔ)介質(zhì)中； S3.各進(jìn)程分別讀取對(duì)應(yīng)時(shí)序子圖的時(shí)序約束信息、工藝庫文件，然后根據(jù)拓?fù)湫蜻M(jìn)行時(shí)序計(jì)算和引腳翻轉(zhuǎn)值計(jì)算，通過進(jìn)程間通信完成依賴傳播； 時(shí)序計(jì)算和引腳翻轉(zhuǎn)值計(jì)算的具體步驟為： S3.1.多進(jìn)程程序并行運(yùn)行，讀取對(duì)應(yīng)時(shí)序子圖中的時(shí)序約束文件、庫映射文件信息，采用拓?fù)湫驈臒o任何依賴的驅(qū)動(dòng)引腳節(jié)點(diǎn)開始計(jì)算，根據(jù)扇出引腳信息、設(shè)計(jì)約束、庫映射文件中的信息計(jì)算引腳的翻轉(zhuǎn)值； S3.2.將驅(qū)動(dòng)引腳的翻轉(zhuǎn)值通過圖傳遞到所有扇出引腳，針對(duì)每個(gè)扇出引腳，找到扇出引腳所在的分區(qū)id，分區(qū)id的計(jì)算方法為，其中，為引腳id的哈希函數(shù)，m為引腳數(shù)組的大小，通過共享介質(zhì)將該扇出引腳的翻轉(zhuǎn)值傳播到其它的進(jìn)程中； S3.3.各進(jìn)程同步檢查存儲(chǔ)介質(zhì)，讀取傳播到該進(jìn)程的驅(qū)動(dòng)引腳的翻轉(zhuǎn)，并在時(shí)序子圖中查找與傳播到進(jìn)程的扇出引腳的翻轉(zhuǎn)值對(duì)應(yīng)的引腳的時(shí)序弧、驅(qū)動(dòng)引腳，如果驅(qū)動(dòng)引腳的扇入引腳均完成對(duì)翻轉(zhuǎn)的計(jì)算，則以驅(qū)動(dòng)引腳為中心計(jì)算所有時(shí)序弧的延時(shí)和驅(qū)動(dòng)引腳的翻轉(zhuǎn)； S3.4.判斷時(shí)序弧的延時(shí)是否計(jì)算完畢，若未完畢，則返回S3.2，直至各進(jìn)程完成所有時(shí)序弧的延時(shí)計(jì)算，若完畢，表示該進(jìn)程計(jì)算完成； S4.對(duì)多進(jìn)程輸出時(shí)序信息，完成時(shí)序報(bào)告，報(bào)告時(shí)序違例。

如需購買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請(qǐng)人或?qū)＠麢?quán)人浙江雷娜科技有限公司，其通訊地址為：322015 浙江省金華市義烏市稠江街道楊村路300號(hào)A幢1樓-003；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。