Patents by Inventor Olivier Touzet

Olivier Touzet has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Method and system for matching boolean signatures
    Patent number: 6519609
    Abstract: 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.
    Type: Grant
    Filed: December 4, 1998
    Date of Patent: February 11, 2003
    Assignee: Cadence Design Systems, Inc.
    Inventor: Olivier Touzet