Automatic verification of kernel circuitry based on analysis of

Details Automatic verification of kernel circuitry based on analysis of Automatic verification of kernel circuitry based on analysis of

1988-11-23

1991-01-29

Atkinson, Charles E.

Excavating

G01R 3128, G06F 1100

Patent

active

049892070

ABSTRACT:
A method and apparatus for providing automatic verification of the kernel circuitry of a microprocessor-based system in which the microprocessor (.mu.P) include an instruction prefetch feature. During testing by memory emulation, the memory addresses accessed by the .mu.P are evaluated as to type of access, address and data size in accordance with a test program and a corresponding checking table to determine if such accesses are consistent with a funtional .mu.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.

REFERENCES:
patent: 4055801 (1970-08-01), Pike
patent: 4108358 (1977-03-01), Niemaszyk
patent: 4139818 (1977-09-01), Schneider
patent: 4192451 (1978-05-01), Swerling
patent: 4402055 (1981-01-01), Lloyd
patent: 4550406 (1983-06-01), Neal
patent: 4567592 (1983-09-01), Minicilli
patent: 4607366 (1983-11-01), Stadlmeier et al.
patent: 4622647 (1983-07-01), Sagnard et al.
patent: 4641207 (1983-03-01), Green et al.
patent: 4641348 (1983-11-01), Neuder
patent: 4656632 (1983-02-01), Jackson
patent: 4674089 (1987-06-01), Poret et al.
patent: 4687988 (1985-06-01), Eichelberger
patent: 4691316 (1985-02-01), Phillips
patent: 4868822 (1989-09-01), Scott et al.
Falk, Emulators Keep Pace with Chip Speeds and Complexity, Computer Design, May 15, 1987, pp. 31-38.

Affiliated with

Also associated with

Rating

Automatic verification of kernel circuitry based on analysis of does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Automatic verification of kernel circuitry based on analysis of , we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automatic verification of kernel circuitry based on analysis of will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-819793