針對相互依賴的成員變量的隨機(jī)約束方法

基本信息

申請?zhí)?/td> CN202210086442.7 申請日 -
公開（公告）號 CN114492259A 公開（公告）日 2022-05-13
申請公布號 CN114492259A 申請公布日 2022-05-13
分類號 G06F30/33（2020.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 馬驍 申請（專利權(quán)）人 杭州云合智網(wǎng)技術(shù)有限公司
代理機(jī)構(gòu) 上海洞見未來專利代理有限公司 代理人 -
地址 311200浙江省杭州市蕭山區(qū)蕭山經(jīng)濟(jì)技術(shù)開發(fā)區(qū)建設(shè)二路858號集成電路設(shè)計(jì)產(chǎn)業(yè)園D幢107室
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種針對相互依賴的成員變量的隨機(jī)約束方法，包含如下步驟：獲取若干成員變量，若干成員變量派生于DUT的配置對象；在若干成員變量內(nèi)增加接口方法；對若干成員變量進(jìn)行分層處理，獲得分層數(shù)據(jù)，用于使能或關(guān)閉不同層次的成員變量的隨機(jī)約束；根據(jù)分層數(shù)據(jù)進(jìn)行使能或關(guān)閉不同層次的成員變量的隨機(jī)約束，完成若干成員變量的隨機(jī)約束的求解。本發(fā)明將隨機(jī)約束求解過程進(jìn)行了分層，使得彼此之間相互關(guān)聯(lián)的隨機(jī)變量的依賴關(guān)系變得更加清晰，幫助驗(yàn)證開發(fā)人員對隨機(jī)約束過程的理解，從而降低對驗(yàn)證過程中出現(xiàn)的問題進(jìn)行調(diào)試的難度。