Patents by Inventor David S. Rickel

David S. Rickel 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).

  • Methods and apparatuses for checking equivalence of circuits
    Patent number: 6691286
    Abstract: Methods and systems for designing integrated circuits. In one exemplary method, a first plurality of points in a first representation of a circuit are identified, and the first representation is modified to produce a second representation for which a second plurality of points are identified. The first representation is compared to the second representation at the first plurality and second plurality of points to determine whether the first representation is equivalent to the second representation. Other features and embodiments are also described.
    Type: Grant
    Filed: October 29, 2001
    Date of Patent: February 10, 2004
    Assignee: Synplicity, Inc.
    Inventors: Kenneth S. McElvain, David S. Rickel