用于生成形式驗(yàn)證環(huán)境的方法、電子設(shè)備及存儲(chǔ)介質(zhì)

基本信息

申請(qǐng)?zhí)?/td> CN202110995708.5 申請(qǐng)日 -
公開（公告）號(hào) CN113947050A 公開（公告）日 2022-01-18
申請(qǐng)公布號(hào) CN113947050A 申請(qǐng)公布日 2022-01-18
分類號(hào) G06F30/367（2020.01）I 分類 計(jì)算；推算；計(jì)數(shù);
發(fā)明人 高世超;陳明科 申請(qǐng)（專利權(quán)）人 芯華章科技股份有限公司
代理機(jī)構(gòu) 北京風(fēng)雅頌專利代理有限公司 代理人 王剛
地址 211800江蘇省南京市江北新區(qū)華創(chuàng)路共享空間01棟18層
法律狀態(tài) -

摘要

摘要 本申請(qǐng)?zhí)峁┝艘环N用于生成形式驗(yàn)證環(huán)境的方法、電子設(shè)備及存儲(chǔ)介質(zhì)。該方法包括：接收用于描述邏輯系統(tǒng)設(shè)計(jì)的功能的配置文件，其中，配置文件指示邏輯系統(tǒng)設(shè)計(jì)的設(shè)計(jì)類型以及與設(shè)計(jì)類型對(duì)應(yīng)的參數(shù)；根據(jù)配置文件確定與邏輯系統(tǒng)設(shè)計(jì)對(duì)應(yīng)的數(shù)據(jù)庫文件；在數(shù)據(jù)庫文件中獲取與邏輯系統(tǒng)設(shè)計(jì)對(duì)應(yīng)的多個(gè)形式驗(yàn)證環(huán)境參數(shù)；以及根據(jù)形式驗(yàn)證環(huán)境參數(shù)生成形式驗(yàn)證環(huán)境。