WO2008057840A3 - Verifying correctness of an electronic design based on requirements and conditions of components of the electronic design - Google Patents

Verifying correctness of an electronic design based on requirements and conditions of components of the electronic design Download PDF

Info

Publication number
WO2008057840A3
WO2008057840A3 PCT/US2007/082891 US2007082891W WO2008057840A3 WO 2008057840 A3 WO2008057840 A3 WO 2008057840A3 US 2007082891 W US2007082891 W US 2007082891W WO 2008057840 A3 WO2008057840 A3 WO 2008057840A3
Authority
WO
WIPO (PCT)
Prior art keywords
electronic design
requirements
components
conditions
component
Prior art date
Application number
PCT/US2007/082891
Other languages
French (fr)
Other versions
WO2008057840A2 (en
Inventor
Kevin D Jones
Kathryn M Mossawir
Thomas J Sheffler
Vandana Prabhu
Original Assignee
Rambus Inc
Kevin D Jones
Kathryn M Mossawir
Thomas J Sheffler
Vandana Prabhu
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Rambus Inc, Kevin D Jones, Kathryn M Mossawir, Thomas J Sheffler, Vandana Prabhu filed Critical Rambus Inc
Publication of WO2008057840A2 publication Critical patent/WO2008057840A2/en
Publication of WO2008057840A3 publication Critical patent/WO2008057840A3/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/30—Circuit design
    • G06F30/32—Circuit design at the digital level
    • G06F30/33—Design verification, e.g. functional simulation or model checking
    • G06F30/3323—Design verification, e.g. functional simulation or model checking using formal methods, e.g. equivalence checking or property checking

Abstract

Verifying and/or re-verifying the correctness of an electronic design based on requirements of individual components of the electronic design and conditions that individual components assure they will satisfy. At least one of the components has a 'requires set' associated with it that specifies requirements of the component. At least one of the components has an 'ensures set' associated with it that specifies one or more conditions that the component ensures that it will satisfy. The correctness of the electronic design can be verified or re-verified based on the requires sets and ensures sets, along with information that describes dependencies between the components. For example, the electronic design is re-verified by determining if new requirements of a re-designed component are met by the rest of the electronic design and if new conditions of the re-designed component satisfy requirements of the rest of the electronic design.
PCT/US2007/082891 2006-11-02 2007-10-29 Verifying correctness of an electronic design based on requirements and conditions of components of the electronic design WO2008057840A2 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US85665906P 2006-11-02 2006-11-02
US60/856,659 2006-11-02

Publications (2)

Publication Number Publication Date
WO2008057840A2 WO2008057840A2 (en) 2008-05-15
WO2008057840A3 true WO2008057840A3 (en) 2008-10-16

Family

ID=39365216

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2007/082891 WO2008057840A2 (en) 2006-11-02 2007-10-29 Verifying correctness of an electronic design based on requirements and conditions of components of the electronic design

Country Status (1)

Country Link
WO (1) WO2008057840A2 (en)

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6536037B1 (en) * 1999-05-27 2003-03-18 Accenture Llp Identification of redundancies and omissions among components of a web based architecture

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6536037B1 (en) * 1999-05-27 2003-03-18 Accenture Llp Identification of redundancies and omissions among components of a web based architecture

Also Published As

Publication number Publication date
WO2008057840A2 (en) 2008-05-15

Similar Documents

Publication Publication Date Title
WO2007117336A3 (en) Methods and systems for verifying protectable content
WO2007106826A3 (en) Domain name ownership validation
WO2008085241A3 (en) Method and system for payment authentication
WO2009018489A3 (en) Software marketplace and distribution system
WO2007127920A3 (en) Consumer pollution impact profile system and method
WO2007022363A3 (en) Conformance authority reconciliation
MY149495A (en) Authenticating an application
WO2006068969A3 (en) Method and device for publishing cross-network user behavioral data
EP2037388A4 (en) Certifying device, verifying device, verifying system, computer program and integrated circuit
WO2005114503A3 (en) Method and apparatus for designing electronic circuits
WO2009105339A3 (en) Systems and methods for providing electronic transaction auditing and accountability
WO2008061066A3 (en) Behavioral biometrics for authentication in computing environments
WO2008073431A3 (en) Method and system for risk evaluation and management
FR2912578B1 (en) METHOD OF AUTHENTICATING AN ELECTRONIC DOCUMENT AND METHOD OF VERIFYING A DOCUMENT THUS AUTHENTICATED.
WO2009137265A3 (en) Electronic blueprint evaluation system for approving blueprints
WO2006062604A3 (en) Rule-based management of objects
WO2007047982A8 (en) Systems and methods for managing an expenditure cycle
WO2008002859A3 (en) Enforced seat-based licensing
WO2008064122A3 (en) Transaction co-validation across abstraction layers
WO2012033588A3 (en) Providing a fine-grained arbitration system
WO2007131224A3 (en) Methods and apparatus to detect data dependencies in an instruction pipeline
WO2005072163A3 (en) Electrostatic discharge simulation
EP1850231A3 (en) Systems and methods of accessing information across distributed computing components
WO2015103413A3 (en) Method and system for verifying printed circuit board designs for fabrication and assembly
WO2009155146A3 (en) Digitally signing documents using identity context information

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 07854497

Country of ref document: EP

Kind code of ref document: A2

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 07854497

Country of ref document: EP

Kind code of ref document: A2