Data processor initialization program and method therefor

• US 5,613,119 A
• Filed: 07/25/1994
• Issued: 03/18/1997
• Est. Priority Date: 07/25/1994
• Status: Expired due to Term

• Current Assignee: Freescale Semiconductor, Inc. (NXP Semiconductors NV)
• Original Assignee: Motorola, Inc. (Motorola Solutions, Inc.)
• Inventors: Claus, Arthur H., France, Robert B., Calvert, Brian E.
• Primary Examiner(s): Kriess, Kevin A.
• Application Number:
  US08/279,602
• Time in Patent Office: 967 Days
• Field of Search: 395/650, 395/700, 395/155, 395/156, 395/157, 395/159, 395/161
• US Class Current: 713/1
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589
• CPC Class Codes: G06F 9/44505 Configuring for program initiating, e.g. using registry, configuration files

Abstract

A program (818) utilizes a functional description of a data processor to verify that the operations requested by the user are valid in the current context of the development environment (10). The program performs each of these functions by checking both physical (820) and contextual rules (838) stored in a memory (9). The program ensures that registers and memory in the data processor cannot be illegally configured and, therefore, fewer programming errors will occur during the development stages of a new data processing system.

Claims

1. A method for programming a data processing system, comprising the steps of:

storing a software program in a memory circuit of the data processing memory system;

storing a plurality of parameters for modeling a data processor in a memory, the plurality of parameters for initializing the data processor to operate properly and indicating both a physical rule and a contextual rule of the data processor;

receiving a first user input for initiating the software program at an interface circuit, the interface circuit being coupled to the memory circuit;

processing the first user input in a central processing unit to generate and communicate a plurality of data signals, a plurality of address signals, and a plurality of control signals to the memory circuit, the central processing unit being coupled to the interface circuit for communicating the user input and being coupled to the memory circuit for communicating the plurality of data signals, the plurality of address signals, and the plurality of control signals;

accessing the software program in the memory unit using the plurality of data signals, the plurality of address signals, and the plurality of control signals, the software program providing a first configuration of the data processor;

receiving a second user input for modifying a first portion of the first configuration of the data processor;

accessing the software program in the memory unit to determine if the second user input modifying the first portion of the first configuration results in a first allowable configuration of the data processor; and

selectively modifying the plurality of parameters to reflect a modified first configuration of the data processor when the first configuration results in a first allowable configuration of the data processor.

2. The method of claim 1 further comprising the step of:

accessing the software program in the memory unit to provide a first video interface on a terminal of the data processing system, the first video interface illustrating the first configuration of the data processor.

3. The method of claim 2 further comprising the step of:

selectively modifying the first video interface to reflect the modified first portion of the first configuration when the first portion of the first configuration results in the first allowable configuration of the data processor, the first video interface not being modified when the first portion of the first configuration results in an unallowable configuration of the data processor.

4. The method of claim 3 further comprising the step of:

selectively modifying the first video interface to provide a message to a user which indicates the second user input modifying the first portion of the first configuration results in the unallowable configuration of the data processor.

5. The method of claim 4 wherein the message provides a range of values required for the second user input to result in the first allowable configuration of the data processor.

6. The method of claim 5 wherein the range of values is determined by the physical and contextual rule of the data processor.

7. The method of claim 1 wherein a step of accessing the software program in the memory unit to determine if the second user input modifying the first portion of the first configuration results in a first allowable configuration of the data processor, comprises the steps of:

accessing the physical rule of the data processor from the memory;

verifying the second user input modifying the first portion of the first configuration does not violate the physical rule of the data processor;

accessing the contextual rule of the data processor from the memory when the physical rule is not violated; and

verifying the second user input modifying the first portion of the first configuration does not violate the contextual rule of the data processor.

8. The method of claim 7 further comprising a step of:

returning an error indicator when one of the physical rule and the contextual rule is violated.

9. The method of claim 7 wherein a step of verifying the second user input modifying the first portion of the first configuration does not violate the contextual rule of the data processor, further comprises the steps of:

verifying the second user input modifying the first portion of the first configuration does not violate the a parent contextual rule of the data processor; and

verifying the second user input modifying the first portion of the first configuration does not violate a child contextual rule of the data processor when the parent contextual rule of the data processor is not violated.

10. The method of claim 9 further comprising a step of:

returning an error indicator when one of the parent contextual rule and the child contextual rule is violated.

11. The method of claim 9 further comprising the step of:

verifying the second user input modifying the first portion of the first configuration does not violate a plurality of child contextual rules of the data processor when the parent contextual rule of the data processor is not violated.