Patents by Inventor Edmund Clarke

Edmund 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
    Publication number: 20050210433
    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: Application
    Filed: May 6, 2005
    Publication date: September 22, 2005
    Inventors: Edmund Clarke, Daniel Kroening
  • METHOD AND SYSTEM TO VERIFY A CIRCUIT DESIGN
    Publication number: 20050071147
    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: Application
    Filed: February 5, 2004
    Publication date: March 31, 2005
    Inventors: Edmund Clarke, Daniel Kroening, Karen Yorav