Exclusive-Symmetry Aware Non-exact Projective Boolean Matching with Internal Nodes Matching

論文翻譯標題: 利用互斥對稱與內部節點的非確切投射布林配對
  • 張 鶴騰

學生論文: Master's Thesis


Boolean matching is to determine whether two circuits can be equivalent under permutation and/or negation of their inputs and outputs It is important in circuit rectification and technology mapping Previous works discussed Boolean matching under the same numbers of inputs and outputs They are inapplicable to Non-exact Projective NPNP Boolean matching (NP3) in which inputs/outputs numbers of two circuits are different We use SAT-based method and functional properties (symmetry) to design a technique which is applicable to NP3 We design a technique to speed up convergence of Boolean matching procedure A newly defined functional property is used to remove more infeasible solutions Experimental data shows besides to NP3 the proposed technique has better capability of matching circuits with large number of inputs
獎項日期2017 7月 13
監督員Meng-Hsun Tsai (Supervisor)