Automatic verification of external interrupts
US5592674A · kind A · utility
Assignee
Inventors
Key dates
| Filing date | Dec 20, 1994 |
| Grant date | Jan 7, 1997 |
| Priority date | — |
| Expiry date | Dec 20, 2014 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/2236
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method for the automatic verification of external interrupts in modern processor architectures under a very wide range of instruction sequences provides almost complete expected results from each of the involved interrupts. In particular, the method allows the verification of the architectural aspects to the external interrupt mechanism in pipelined and super scalar microprocessors. The method which is based on the assumption that when an external interrupt is serviced, the processor branches to a specific address according to the type of the external interrupt. The first step in the method is a preparation step wherein the memory addresses already used by the test are scanned and unused memory spaces are allocated for a plurality of memory blocks and two memory addresses for pointers. These two addresses are used to find the next block to fill. After this initial preparation step, the interrupt is presented in any desired location by the design simulator controller. Next, the instruction range in which the external interrupt could be serviced is found. External interrupt routines are added to the test. These routines are executed each time the appropriate external interrupt is s…
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.