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
Original Assignee
STMicroelectronics Ltd Great Britain
SGS Thomson Microelectronics Ltd
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 Ltd 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; 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

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 Logic 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 Logic 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
PL344213A1 (en) Method of obtaining a seansoning hydrolysate
GB0010415D0 (en) Integration of an analysis into the features of a model of an object
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
AU2002359700A8 (en) System for providing a calibrated clock and methods thereof
GB2347106B (en) Apparatus for moulding a staircase
GB9723440D0 (en) Simulation model for a digital system
GB9928770D0 (en) A measurement method
GB2358490B (en) A clock
AU141081S (en) A scale
GB9914436D0 (en) A method
GB9902655D0 (en) A clock
GB9901752D0 (en) A climbing aid
GB2358724B (en) Counting method
CA86455S (en) Case for a golfing aid
GB2350815B (en) Moulding method
GB2342049B (en) A Golf Practice Aid
GB9907400D0 (en) Counting method
GB2337833B (en) A timepiece

Legal Events

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

Effective date: 20071029