Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Efficient algorithms for performing the matching step in technology mapping are proposed. The main result is an algorithm for matching under input negations that takes time polynomial in the size of the BDDs representing the functions to be matched. This algorithm is the basis for efficient methods for matching under permutations, bridging and constant inputs. A simple mapper based on the algorithms was implemented and tested on a suite of combinational circuits. Using the Actel type 1 mother cell, the mapper required an average of 8.5% fer cells than mispga. When integrated into a more sophisticated technology mapper, the matching algorithms could provide even better performance. >
['Jerry R. Burch', 'David E. Long']
I am writing a research paper on a idea Efficient Boolean function matching
[{"from": "human", "value": "I am writing a research paper on a idea Efficient Boolean function matching"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Efficient algorithms for performing the matching step in technology mapping are proposed. The main result is an algorithm for matching under input negations that takes time polynomial in the size of the BDDs representing the functions to be matched. This algorithm is the basis for efficient methods for matching under permutations, bridging and constant inputs. A simple mapper based on the algorithms was implemented and tested on a suite of combinational circuits. Using the Actel type 1 mother cell, the mapper required an average of 8.5% fer cells than mispga. When integrated into a more sophisticated technology mapper, the matching algorithms could provide even better performance. >"}]