GB9925654D0 - A method of verifying the accuracy of a digital model - Google Patents

A method of verifying the accuracy of a digital model

Info

Publication number
GB9925654D0
GB9925654D0 GBGB9925654.7A GB9925654A GB9925654D0 GB 9925654 D0 GB9925654 D0 GB 9925654D0 GB 9925654 A GB9925654 A GB 9925654A GB 9925654 D0 GB9925654 D0 GB 9925654D0
Authority
GB
United Kingdom
Prior art keywords
verifying
accuracy
digital model
digital
model
Prior art date
Legal status (The legal status 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 status listed.)
Granted
Application number
GBGB9925654.7A
Other versions
GB2362728A (en
GB2362728B (en
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
SGS THOMSON MICROELECTRONICS
Original Assignee
SGS THOMSON MICROELECTRONICS
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 SGS THOMSON MICROELECTRONICS filed Critical SGS THOMSON MICROELECTRONICS
Priority to GB9925654A priority Critical patent/GB2362728B/en
Publication of GB9925654D0 publication Critical patent/GB9925654D0/en
Publication of GB2362728A publication Critical patent/GB2362728A/en
Application granted granted Critical
Publication of GB2362728B publication Critical patent/GB2362728B/en
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

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/36—Circuit design at the analogue level
    • G06F30/367—Design verification, e.g. using simulation, simulation program with integrated circuit emphasis [SPICE], direct methods or relaxation methods
    • 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
GB9925654A 1999-10-29 1999-10-29 A method of verifying the accuracy of a digital model Expired - Fee Related GB2362728B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB9925654A GB2362728B (en) 1999-10-29 1999-10-29 A method of verifying the accuracy of a digital model

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GB9925654A GB2362728B (en) 1999-10-29 1999-10-29 A method of verifying the accuracy of a digital model

Publications (3)

Publication Number Publication Date
GB9925654D0 true GB9925654D0 (en) 1999-12-29
GB2362728A GB2362728A (en) 2001-11-28
GB2362728B GB2362728B (en) 2002-04-24

Family

ID=10863626

Family Applications (1)

Application Number Title Priority Date Filing Date
GB9925654A Expired - Fee Related GB2362728B (en) 1999-10-29 1999-10-29 A method of verifying the accuracy of a digital model

Country Status (1)

Country Link
GB (1) GB2362728B (en)

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2368667B (en) * 2000-06-08 2002-09-18 Sgs Thomson Microelectronics Method and system for identifying inaccurate models
FR2870000B1 (en) * 2004-05-05 2006-08-11 Hispano Suiza Sa CONTROLLING THE ROBUSTNESS OF A MODELING OF A PHYSICAL SYSTEM
US9940417B2 (en) 2016-07-21 2018-04-10 International Business Machines Corporation Simulating reference voltage response in digital simulation environments

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4792913A (en) * 1986-11-03 1988-12-20 Grumman Aerospace Corporation Simulator for systems having analog and digital portions
US5297066A (en) * 1991-10-22 1994-03-22 National Semiconductor Corporation Digital circuit simulation of analog/digital circuits
JPH07296032A (en) * 1994-04-26 1995-11-10 Dainippon Printing Co Ltd Logic model verification device

Also Published As

Publication number Publication date
GB2362728A (en) 2001-11-28
GB2362728B (en) 2002-04-24

Similar Documents

Publication Publication Date Title
GB2362909B (en) Method of installing a sensor in a well
EP1212689A4 (en) Method for assembling and using a knowledge base
AU3007800A (en) Digital license and method for obtaining/providing a digital license
HK1060429A1 (en) A sensibility generator and the method thereof
AU5558799A (en) A mechanical fastener and method for making the same
GB2353376B (en) Integration of an analysis into the features of a model of an object
GB9925659D0 (en) A method of verification
GB2362728B (en) A method of verifying the accuracy of a digital model
GB9902403D0 (en) A platform scale
GB2353362B (en) A transducer
AU2002359700A8 (en) System for providing a calibrated clock and methods thereof
GB9723440D0 (en) Simulation model for a digital system
GB0029885D0 (en) A golfing aid
GB9928770D0 (en) A measurement method
HK1047366A1 (en) A comparator and methods for voting therewith
GB2358490B (en) A clock
GB2342474B (en) Dial modeling device and method
IL139634A0 (en) A mathematical model and a method and apparatus for utilizing the model
AU141081S (en) A scale
GB9914436D0 (en) A method
GB0002682D0 (en) A clock
GB9901752D0 (en) A climbing aid
CA86455S (en) Case for a golfing aid
GB2342049B (en) A Golf Practice Aid
GB0108409D0 (en) Counting method

Legal Events

Date Code Title Description
PCNP Patent ceased through non-payment of renewal fee

Effective date: 20071029