EP0370926A3 - Automatic verification of kernel circuitry based on analysis of memory accesses - Google Patents

Automatic verification of kernel circuitry based on analysis of memory accesses Download PDF

Info

Publication number
EP0370926A3
EP0370926A3 EP19890420459 EP89420459A EP0370926A3 EP 0370926 A3 EP0370926 A3 EP 0370926A3 EP 19890420459 EP19890420459 EP 19890420459 EP 89420459 A EP89420459 A EP 89420459A EP 0370926 A3 EP0370926 A3 EP 0370926A3
Authority
EP
European Patent Office
Prior art keywords
automatic verification
analysis
memory accesses
kernel circuitry
circuitry based
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.)
Withdrawn
Application number
EP19890420459
Other languages
German (de)
French (fr)
Other versions
EP0370926A2 (en
Inventor
John D. Polstra
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.)
Fluke Corp
Original Assignee
John Fluke Manufacturing Co 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 John Fluke Manufacturing Co Inc filed Critical John Fluke Manufacturing Co Inc
Publication of EP0370926A2 publication Critical patent/EP0370926A2/en
Publication of EP0370926A3 publication Critical patent/EP0370926A3/en
Withdrawn legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/26—Functional testing
    • G06F11/261—Functional testing by simulating additional hardware, e.g. fault simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2273—Test methods

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)
  • Debugging And Monitoring (AREA)

Abstract

A method and apparatus for providing automatic verification of the kernel circuitry of a microprocessor-based system in which the microprocessor (µP) include an instruction prefetch feature. During testing by memory emulation, the memory addresses accessed by the µP are evaluated as to type of access, address and data size in accordance with a test program and a corresponding checking table to detrmine if such accesses are consistent with a funtional µP of the same type. Other data structures such as flags and pointers are provided to enhance the verification operation and use of the checking table.
EP19890420459 1988-11-23 1989-11-22 Automatic verification of kernel circuitry based on analysis of memory accesses Withdrawn EP0370926A3 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US275183 1988-11-23
US07/275,183 US4989207A (en) 1988-11-23 1988-11-23 Automatic verification of kernel circuitry based on analysis of memory accesses

Publications (2)

Publication Number Publication Date
EP0370926A2 EP0370926A2 (en) 1990-05-30
EP0370926A3 true EP0370926A3 (en) 1991-07-10

Family

ID=23051230

Family Applications (1)

Application Number Title Priority Date Filing Date
EP19890420459 Withdrawn EP0370926A3 (en) 1988-11-23 1989-11-22 Automatic verification of kernel circuitry based on analysis of memory accesses

Country Status (4)

Country Link
US (1) US4989207A (en)
EP (1) EP0370926A3 (en)
JP (1) JPH0628038B2 (en)
CN (1) CN1043021A (en)

Families Citing this family (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0786811B2 (en) * 1990-06-19 1995-09-20 富士通株式会社 Array disk drive drive position confirmation method
US5325365A (en) * 1991-10-04 1994-06-28 John Fluke Mfg. Co., Inc. In a memory emulation test apparatus, a method of and system for fast functional testing of memories in microprocessor-based units
US5313618A (en) * 1992-09-03 1994-05-17 Metalink Corp. Shared bus in-circuit emulator system and method
US5539901A (en) * 1993-09-30 1996-07-23 Intel Corporation Method and apparatus for system management mode support for in-circuit emulators
US5968188A (en) * 1998-03-10 1999-10-19 Grammar Engine System for providing real-time code coverage
US6412046B1 (en) 2000-05-01 2002-06-25 Hewlett Packard Company Verification of cache prefetch mechanism
ITTO20010180A1 (en) * 2001-03-01 2002-09-01 Cselt Centro Studi Lab Telecom PROCEDURE AND SYSTEM FOR THE CONTROL OF THE CONFIGURATION OF THE NODES A TELECOMMUNICATION NETWORK.
US6957371B2 (en) * 2001-12-04 2005-10-18 Intellitech Corporation Method and apparatus for embedded built-in self-test (BIST) of electronic circuits and systems
JP2004199334A (en) * 2002-12-18 2004-07-15 Sanyo Electric Co Ltd Microcomputer and its evaluation device
JP2004199333A (en) * 2002-12-18 2004-07-15 Sanyo Electric Co Ltd Microcomputer and its evaluation device
US7426704B2 (en) * 2004-05-10 2008-09-16 International Business Machines Corporation Design verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling
US7584383B2 (en) * 2006-08-04 2009-09-01 Sun Microsystems, Inc. Method and system for kernel-level diagnostics using a hardware watchpoint facility

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3192362A (en) * 1961-08-22 1965-06-29 Sperry Rand Corp Instruction counter with sequential address checking means
US3949205A (en) * 1973-12-04 1976-04-06 Compagnie Internationale Pour L'informatique Automatic address progression supervising device
EP0191632A2 (en) * 1985-02-14 1986-08-20 Support Technologies, Inc. ROM emulator for diagnostic tester

Family Cites Families (15)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4055801A (en) * 1970-08-18 1977-10-25 Pike Harold L Automatic electronic test equipment and method
US4108358A (en) * 1977-03-22 1978-08-22 The Bendix Corporation Portable circuit tester
US4139818A (en) * 1977-09-30 1979-02-13 Burroughs Corporation Circuit means for collecting operational errors in IC chips and for identifying and storing the locations thereof
US4192451A (en) * 1978-05-30 1980-03-11 Tektronix, Inc. Digital diagnostic system employing signature analysis
US4402055A (en) * 1981-01-27 1983-08-30 Westinghouse Electric Corp. Automatic test system utilizing interchangeable test devices
FR2531230A1 (en) * 1982-07-27 1984-02-03 Rank Xerox Sa ASSEMBLY FOR CENTRALIZED AUTOMATIC TEST OF PRINTED CIRCUITS AND METHOD FOR TESTING MICROPROCESSOR CIRCUITS USING THE SAME
FR2532771B1 (en) * 1982-09-08 1988-05-13 Service Sa METHOD AND DEVICE FOR STATICALLY TESTING ALL CONNECTIONS AND PERIPHERAL INTEGRATED CIRCUITS OF A MICROPROCESSOR
DE3241412A1 (en) * 1982-11-09 1984-05-10 Siemens AG, 1000 Berlin und 8000 München DEVICE FOR TESTING A HIGHLY INTEGRATED MICROPROGRAM CONTROLLED ELECTRONIC COMPONENT
US4641207A (en) * 1983-03-22 1987-02-03 Green George D Diagnostic device and method for examining the operation of a disk drive
US4550406A (en) * 1983-06-14 1985-10-29 Everett/Charles Test Equipment, Inc. Automatic test program list generation using programmed digital computer
US4641348A (en) * 1983-11-09 1987-02-03 Hewlett-Packard Company Timing or logic state analyzer with automatic qualified inferential marking and post processing of captured trace data
US4656632A (en) * 1983-11-25 1987-04-07 Giordano Associates, Inc. System for automatic testing of circuits and systems
US4674089A (en) * 1985-04-16 1987-06-16 Intel Corporation In-circuit emulator
US4687988A (en) * 1985-06-24 1987-08-18 International Business Machines Corporation Weighted random pattern testing apparatus and method
US4868822A (en) * 1988-02-19 1989-09-19 John Fluke Mfg. Co., Inc. Memory emulation method and system for testing and troubleshooting microprocessor-based electronic systems

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3192362A (en) * 1961-08-22 1965-06-29 Sperry Rand Corp Instruction counter with sequential address checking means
US3949205A (en) * 1973-12-04 1976-04-06 Compagnie Internationale Pour L'informatique Automatic address progression supervising device
EP0191632A2 (en) * 1985-02-14 1986-08-20 Support Technologies, Inc. ROM emulator for diagnostic tester

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
COMPUTER DESIGN, vol. 26, no. 10, 15th May 1987, pages 31-38; H. FALK: "Emulators keep pace with chip speeds and complexity" *

Also Published As

Publication number Publication date
US4989207A (en) 1991-01-29
CN1043021A (en) 1990-06-13
EP0370926A2 (en) 1990-05-30
JPH0628038B2 (en) 1994-04-13
JPH02201550A (en) 1990-08-09

Similar Documents

Publication Publication Date Title
EP0191632A3 (en) Rom emulator for diagnostic tester
CA2225057A1 (en) Method and apparatus for testing software
EP0370926A3 (en) Automatic verification of kernel circuitry based on analysis of memory accesses
TW366430B (en) IC testing device and method
TW371339B (en) Testing of memory content
EP0354654A3 (en) Method and apparatus for marking emulation analysis states
KR910005161A (en) Memory system
JPS53113446A (en) Information processor and its method
JPS57117056A (en) Microcomputer device
JPS5658197A (en) Memory data checking method
JPS57109058A (en) Step system of microcomputer
JPS55163697A (en) Memory device
SG65751A1 (en) A method and system for determining which memory locations have been accessed in a self timed cache architecture
JPS55163699A (en) Testing system for memory board
JPS5771055A (en) Program test system
JPS6426938A (en) Test system for ras circuit
JPS644840A (en) In-circuit emulator
JPS5785145A (en) Address detection system
JPS5673361A (en) Testing device of ic
EP0267663A3 (en) Weighing system
JPS5720880A (en) Pattern reducing system
JPS6419439A (en) Central processing unit
JPS5650446A (en) Microcomputer test device
JPS6476348A (en) Memory checking method
JPS6426940A (en) Maintenance test system for shared device

Legal Events

Date Code Title Description
PUAI Public reference made under article 153(3) epc to a published international application that has entered the european phase

Free format text: ORIGINAL CODE: 0009012

AK Designated contracting states

Kind code of ref document: A2

Designated state(s): DE FR GB

PUAL Search report despatched

Free format text: ORIGINAL CODE: 0009013

AK Designated contracting states

Kind code of ref document: A3

Designated state(s): DE FR GB

RHK1 Main classification (correction)

Ipc: G06F 11/26

17P Request for examination filed

Effective date: 19910911

17Q First examination report despatched

Effective date: 19950113

STAA Information on the status of an ep patent application or granted ep patent

Free format text: STATUS: THE APPLICATION IS DEEMED TO BE WITHDRAWN

18D Application deemed to be withdrawn

Effective date: 19950524