Accelerating Boolean Matching for Large Functions on CUDA Platform
碩士 === 輔仁大學 === 資訊工程學系碩士班 === 102 === Given two functions with the same number of input variables, Boolean matching is to check if they are equivalent or not under input permutation and input/output phase assignments. Our Boolean matching algorithm adopts an incremental learning approach which has t...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2014
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/65491311542595430699 |