Method and System to Verify a Circuit Design By Verifying Consistency Between Two Different Language Representations of a Circuit Design

• Application Type:

  Utility

  Patent Number:

  7225417

  Country:

  United States

  Status:

  Filed on 5-Feb-2004, Issued on 29-May-2007, Patent Abandoned

  Organization:

  Carnegie Mellon University

  SRC Filing ID:

  P0424

Inventors

• Karen Yorav (Carnegie Mellon Univ.)
• Edmund M. Clarke (Carnegie Mellon Univ.)
• Daniel Kroening (Carnegie Mellon Univ.)