Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

Method for realizing kernel-mode programe verification in user-mode random verification of microprocessor

A random verification, microprocessor technology, applied in the field of core state program verification, can solve the problems of complex combination of core state instructions and control register states, inability to complete the full verification of processor core state instructions, and difficulty in uniform coverage of handwritten test vectors, etc. To achieve the effect of comprehensive verification, high efficiency and high verification efficiency

Active Publication Date: 2008-07-23
LOONGSON TECH CORP
View PDF4 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The method of handwriting test vectors enumerates the instructions of the core state and the various states of the control registers, and uses experts to manually write the test vectors for each test point. The biggest disadvantage of this method is that it consumes a lot of manual labor and is inefficient. At the same time, Since the state combinations of core state instructions and control registers are very complex and difficult to enumerate, it is difficult for handwritten test vectors to evenly cover all test points
Obviously, only relying on handwritten test vectors and some application packaged test vectors cannot complete the full verification of processor core state instructions

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method for realizing kernel-mode programe verification in user-mode random verification of microprocessor
  • Method for realizing kernel-mode programe verification in user-mode random verification of microprocessor
  • Method for realizing kernel-mode programe verification in user-mode random verification of microprocessor

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0045] Below in conjunction with accompanying drawing and specific embodiment the present invention is described in further detail:

[0046] like figure 2 Shown, a kind of method that realizes kernel state program verification in microprocessor user state random verification, comprises the following steps:

[0047] Step 1, add exception handling-related constraints in the instruction template, including the type and number of exception handling allowed;

[0048] Step 2, improve the instruction-level random verification generation engine, increase the number of TLB items, change the termination condition of the original instruction sequence generation, and ensure that the two instructions at the end of the instruction sequence are SYSCALL;

[0049] Step 3, add the execution mechanism of the core state instructions Trap, System Call, and Breakpoint to the instruction-level processor simulator, set the registers according to the instruction manual, and provide correct results w...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The present invention discloses method for realizing kernel mode program verification method in microprocessor user status random verifying. Said method includes 1, adding exception handling correlative restriction in instruction stencil-plate; 2, improving instruction grade random verifying generation engine; 3, adding kernel mode instruction execution mechanism instruction grade processor simulator, setting register, providing right result in system running kernel mode instruction; 4, adding step 1 added correlative restrictive filtering unit in instruction filter; 5, adding abnormal monitoring logic and control register updating logical in emulation environment; 6, pre-storing exception handler in emulation environment provided memory. The present invention has advantages of complete verifying and high verifying efficiency.

Description

technical field [0001] The microprocessor verification technology of the present invention particularly relates to a method for realizing program verification of a core state in random verification of a microprocessor user state. Background technique [0002] Analog emulation is a common method for processor verification. Extensive coverage of test vectors is very important when performing simulations. A variety of methods can be used to generate test vectors, among which the main methods include instruction set random test generation, hand-written test vectors and application program encapsulation. [0003] Many RISC architecture processors can run instructions in multiple modes, and use different address spaces according to different operating modes. Taking MIPS CPU as an example, a MIPS CPU can run instructions in two priority levels: user mode and kernel mode. Taking MIPS R4000 as an example, the available space of user mode in 32-bit mode is 0x00000000~0x7fffffff, a ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F11/36
Inventor 沈海华胡伟武
Owner LOONGSON TECH CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Eureka Blog
Learn More
PatSnap group products