[go: up one dir, main page]

GB2374435B - Software and hardware simulation - Google Patents

Software and hardware simulation

Info

Publication number
GB2374435B
GB2374435B GB0119849A GB0119849A GB2374435B GB 2374435 B GB2374435 B GB 2374435B GB 0119849 A GB0119849 A GB 0119849A GB 0119849 A GB0119849 A GB 0119849A GB 2374435 B GB2374435 B GB 2374435B
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.)
Expired - Fee Related
Application number
GB0119849A
Other versions
GB0119849D0 (en
GB2374435A (en
Inventor
Andrew Mark Nightingale
Alistair Crone Bruce
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 GB0119849D0 (en) 2001-10-10
GB2374435A GB2374435A (en) 2002-10-16
GB2374435B true 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

Citations (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

Patent Citations (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

Non-Patent Citations (5)

* Cited by examiner, † Cited by third party
Title
"IFIP International Conference on Computer Hardware Description Languages and their Applications", Aug/Sep 1995, A. Ghosh et al "A Hardware-Software Co-simulator for Embedded System Design and Debugging" pages 155 to 164 *
Embedded Systems Programming, Vol 12, No. 9, D. Nadamuni, "Co-verification tools: a market focus", pages 119 - 122 *
IBM Technical Disclosure Bulletin, Vol 39, No 06, June 1996, anonymous, "Architecture for a Distributed Computing Environment Test Application - Harmonic" pages 259 to 261 *
Journal of Computer Aided Design & Computer Graphics, Vol 12, October 2000, Xiao-Dong et al "Implementation of co-verification environment for embedded system" pages 736 - 739 *
www.mentor.com "Core based SoC Design System Verification Challenges" *

Also Published As

Publication number Publication date
GB0119849D0 (en) 2001-10-10
GB0109282D0 (en) 2001-05-30
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