基于可滿足性模理論的CMOL電路單元映射
摘要：針對納米CMOS混合電路（CMOL）單元映射時,傳統的精確算法存在編碼變量多、文件存儲大導致的求解規模受限問題,提出了一種基于可滿足性模理論（SMT）的CMOL電路單元映射方法,該方法通過整型編碼減小文件存儲大小,通過漸進式求解算法兼顧求解規模和速度.實驗結果表明,與傳統的精確算法相比,本文提出的方法可大幅減少中間處理文件的大小,并以較小的求解速度為代價提高了處理大規模電路的能力.
注: 保護知識產權,如需閱讀全文請聯系寧波大學學報雜志社
相關推薦
更多
