一種基于機(jī)器學(xué)習(xí)的模型檢查算法性能預(yù)測(cè)方法

摘要： 與非圖模型是一種表示電路設(shè)計(jì)的通用基礎(chǔ)形式,同時(shí)也是模型檢查器的一種通用輸入格式.介紹了一種基于與非圖結(jié)構(gòu)編碼的特征提取方法,并基于該方法實(shí)現(xiàn)了一種快速的組合模型檢查器Liquid.所提出的結(jié)構(gòu)編碼的核心思想:首先羅列出與非圖中所有可能的子結(jié)構(gòu),再將每個(gè)子結(jié)構(gòu)出現(xiàn)的次數(shù)編碼成向量,該向量即作為與非圖的特征向量參與之后的機(jī)器學(xué)習(xí)過程.由于各種模型檢查算法的性能在不同的與非圖上參差...