Method and system for matching boolean signatures

摘要

A method and system for matching a node of a combinatorial block with a library cell in a technology library using truth tables. A truth table representing the function of the node of the combinatorial block is generated. Similarly, a truth table representing the function of the library cell is generated. If the truth tables match, then the node of the combinatorial block can be tiled with the library cell. The two truth tables may match if the tables have the same number of inputs and the same signature. Also, the truth tables may match if the inputs to one truth table are permuted and/or inverted, or if the output of the truth table is inverted. These variations of the truth tables are compared to determine if the truth tables match.