[go: up one dir, main page]

GB0119849D0 - Software and hardware simulation - Google Patents

Software and hardware simulation

Info

Publication number
GB0119849D0
GB0119849D0 GBGB0119849.8A GB0119849A GB0119849D0 GB 0119849 D0 GB0119849 D0 GB 0119849D0 GB 0119849 A GB0119849 A GB 0119849A GB 0119849 D0 GB0119849 D0 GB 0119849D0
Authority
GB
United Kingdom
Prior art keywords
software
hardware simulation
simulation
hardware
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
GBGB0119849.8A
Other versions
GB2374435B (en
GB2374435A (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.)
ARM Ltd
Original Assignee
ARM Ltd
Advanced Risc Machines 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 ARM Ltd, Advanced Risc Machines Ltd filed Critical ARM Ltd
Publication of GB0119849D0 publication Critical patent/GB0119849D0/en
Priority to US10/079,811 priority Critical patent/US7366650B2/en
Priority to JP2002109252A priority patent/JP2003036284A/en
Publication of GB2374435A publication Critical patent/GB2374435A/en
Application granted granted Critical
Publication of GB2374435B publication Critical patent/GB2374435B/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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3698—Environments for analysis, debugging or testing of software
    • 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)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • Quality & Reliability (AREA)
  • Debugging And Monitoring (AREA)
GB0119849A 2001-04-12 2001-08-14 Software and hardware simulation Expired - Fee Related GB2374435B (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
US10/079,811 US7366650B2 (en) 2001-04-12 2002-02-22 Software and hardware simulation
JP2002109252A JP2003036284A (en) 2001-04-12 2002-04-11 Software and hardware simulation methods

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
GBGB0109282.4A GB0109282D0 (en) 2001-04-12 2001-04-12 Re-useable hardware/software co-verification of IP blocks

Publications (3)

Publication Number Publication Date
GB0119849D0 true GB0119849D0 (en) 2001-10-10
GB2374435A GB2374435A (en) 2002-10-16
GB2374435B GB2374435B (en) 2004-12-08

Family

ID=9912823

Family Applications (2)

Application Number Title Priority Date Filing Date
GBGB0109282.4A Ceased GB0109282D0 (en) 2001-04-12 2001-04-12 Re-useable hardware/software co-verification of IP blocks
GB0119849A Expired - Fee Related GB2374435B (en) 2001-04-12 2001-08-14 Software and hardware simulation

Family Applications Before (1)

Application Number Title Priority Date Filing Date
GBGB0109282.4A Ceased GB0109282D0 (en) 2001-04-12 2001-04-12 Re-useable hardware/software co-verification of IP blocks

Country Status (1)

Country Link
GB (2) GB0109282D0 (en)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8180620B2 (en) 2004-01-27 2012-05-15 Arm Limited Apparatus and method for performing hardware and software co-verification testing

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6188975B1 (en) * 1998-03-31 2001-02-13 Synopsys, Inc. Programmatic use of software debugging to redirect hardware related operations to a hardware simulator

Also Published As

Publication number Publication date
GB0109282D0 (en) 2001-05-30
GB2374435B (en) 2004-12-08
GB2374435A (en) 2002-10-16

Similar Documents

Publication Publication Date Title
AU2002357119A8 (en) Mitocidal compositions and methods
GB0111872D0 (en) Therapeutic agents and methods
AU2002327185A8 (en) Diagnostic methods and devices
AU2002257178A1 (en) Simulation system and method
AU2002315166A1 (en) Sir2alpha-based therapeutic and prophylactic methods
GB0129437D0 (en) Server and units
AU2002332841A1 (en) Amusement rides and methods
GB0114014D0 (en) Compostion and use
IL154553A0 (en) Urocortin-iii and uses thereof
GB2376073B (en) Fluid-gauging systems and methods
AU2003296369A8 (en) Imminoamines and preparation thereof
AU2002357748A8 (en) Osteopontin-related compositions and methods
AU2002359694A8 (en) Compounds and methods
GB0111496D0 (en) Therapeutic systems and methods
GB0104931D0 (en) object interaction simulation
GB2371419B (en) Ground-connection structure ground-connecting member and ground-connection method
GB2382598B (en) Construction and elongate members therefor
AU2003302173A8 (en) Spirotetrathiocarbamates and spirooxothiocarbamates
GB2374435B (en) Software and hardware simulation
EP1379240A4 (en) Compounds and methods
EP1421101A4 (en) P-glycoproteins and uses thereof
GB2394659B (en) Therapeutic and prophylactic preparations
EP1367123A4 (en) Neurotonin and use thereof
AU2002361263A1 (en) Pants-covering and shoe-covering garments
GB0106063D0 (en) Libraries and their use

Legal Events

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

Effective date: 20190814