[go: up one dir, main page]

GB2362728B - 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
GB2362728B
GB2362728B GB9925654A GB9925654A GB2362728B GB 2362728 B GB2362728 B GB 2362728B GB 9925654 A GB9925654 A GB 9925654A GB 9925654 A GB9925654 A GB 9925654A GB 2362728 B GB2362728 B GB 2362728B
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.)
Expired - Fee Related
Application number
GB9925654A
Other versions
GB2362728A (en
GB9925654D0 (en
Inventor
Peter Ballam
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.)
STMicroelectronics Ltd Great Britain
STMicroelectronics lnc USA
Original Assignee
STMicroelectronics Ltd Great Britain
SGS Thomson Microelectronics Inc
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 STMicroelectronics Ltd Great Britain, SGS Thomson Microelectronics Inc filed Critical STMicroelectronics Ltd Great Britain
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 OR CALCULATING; 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 OR CALCULATING; 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

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Microelectronics & Electronic Packaging (AREA)
  • Tests Of Electronic Circuits (AREA)
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 GB9925654D0 (en) 1999-12-29
GB2362728A GB2362728A (en) 2001-11-28
GB2362728B true 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

Citations (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 Logical model verification device

Patent Citations (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 Logical model verification device

Also Published As

Publication number Publication date
GB2362728A (en) 2001-11-28
GB9925654D0 (en) 1999-12-29

Similar Documents

Publication Publication Date Title
GB2362909B (en) Method of installing a sensor in a well
GB0130595D0 (en) Method for assembling and using a knowledge base
AU3007800A (en) Digital license and method for obtaining/providing a digital license
AU5558799A (en) A mechanical fastener and method for making the same
IL148973A0 (en) L-pantolactone-hydrolase and a method for producing d-pantolactone
PL344213A1 (en) Method of obtaining a seansoning hydrolysate
AU138249S (en) A template
EG24729A (en) Escitalopram hydrobromide and a method for the preparation thereof
GB2352522B (en) A sensor
GB2353376B (en) Integration of an analysis into the features of a model of an object
GB9912386D0 (en) A sensor
AU2002367375A1 (en) Method for automatically defining a part model
GB9925659D0 (en) A method of verification
AU4760800A (en) Method and arrangement for measuring a jumping distance
AU3995001A (en) Method for a knowledge model
GB2362728B (en) A method of verifying the accuracy of a digital model
GB2353362B (en) A transducer
EP1223885A4 (en) A mouthguard
GB2347106B (en) Apparatus for moulding a staircase
GB9928770D0 (en) A measurement method
GB0029885D0 (en) A golfing aid
GB2342474B (en) Dial modeling device and method
GB9914436D0 (en) A method
GB2336877B (en) A driven-vane flowmeter
GB2358724B (en) Counting method

Legal Events

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

Effective date: 20071029