Patents by Inventor Edmund M. Clarke

Edmund M. Clarke 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 to check correspondence between different representations of a circuit
    Patent number: 7418680
    Abstract: A method to check correspondence between different representations of a circuit may include abstracting a first computer language representation of the circuit to form a first abstract model of the circuit and abstracting a second computer language representation of the circuit to form a second abstract model of the circuit. The method may also include forming a product machine using the first and second abstract models. The method may further include checking correspondence between the first and second abstract models using the product machine.
    Type: Grant
    Filed: May 6, 2005
    Date of Patent: August 26, 2008
    Assignee: Carnegie Mellon University
    Inventors: Edmund M. Clarke, Daniel Kroening
  • Method and system to verify a circuit design by verifying consistency between two different language representations of a circuit design
    Patent number: 7225417
    Abstract: A method to verify a circuit design may include applying a bounded model checking technique to a first computer language representation of the circuit design and to a second computer language representation of the circuit design. The method may also include determining a behavioral consistency between the first and second computer language representations.
    Type: Grant
    Filed: February 5, 2004
    Date of Patent: May 29, 2007
    Assignee: Carnegie Mellon University
    Inventors: Edmund M. Clarke, Daniel Kroening, Karen Yorav