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 七月 13
原文English
監督員Meng-Hsun Tsai (Supervisor)

引用此文

Exclusive-Symmetry Aware Non-exact Projective Boolean Matching with Internal Nodes Matching
鶴騰, 張. (Author). 2017 七月 13

學生論文: Master's Thesis