JPH06295253A - Method and device for verifying microprogarm - Google Patents

Abstract

PURPOSE:To provide the method and the device for selecting and updating automatically a verifying condition for verifying a microprogram. CONSTITUTION:At the time of verifying a microprogram, a verifying condition extracting a violation is extracted from violation information 9 by a verifying condition selection processing 14, the same conditions are eliminated and stored in a verifying condition information table 18, and thereafter, a microprogram specification limit (verifying condition) information 2 file is updated to the verifying condition stored in the verifying condition information table by an updating processing 15. Accordingly, at the time of verifying the microprogram, its condition is always updated automatically to the absolutely minimum verifying condition, therefore, the verification can be performed efficiently and quickly without deteriorating the verification accuracy.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a microprogram logic verification method, and more particularly to a microprogram verification method and apparatus suitable for performing source level verification of violations of microprogram specification restrictions.

[0002]

2. Description of the Related Art A conventional microprogram verification method is
As described in Japanese Patent Application Laid-Open No. 02-083748, etc., specification restriction violation is detected at the source level before execution of a microprogram. This method derives from the microprogram source all the paths that may pass during its execution, sets a predetermined microprogram specification limit as a verification condition for this derived path, and checks whether the conditions are met. It is to verify whether or not.

[0003]

The verification of the microprogram does not end with one verification for one microprogram, but after correction is made to the specification restriction violation detected as a result of the verification, In many cases, the verification is conducted again, and this is repeated until there are no violations. in this case,
In the prior art described in the above-mentioned Japanese Patent Laid-Open Publication No. Hei 10 (1999) -264, a predetermined microprogram specification limit is initially set as a verification condition, and the verification is always repeated using this condition.

However, when performing re-verification, the purpose is to confirm after correcting the restriction violation once pointed out as a violation, and it is not possible to perform verification for all the verification conditions initially set. Excess. That is, although the conditions to be verified have been narrowed down by performing the verification once, using the same verification conditions as in the initial stage in re-processing causes a reduction in verification efficiency.

In order to prevent the reduction of the verification efficiency, it is necessary to select only the necessary conditions and newly set the verification condition in the case of re-execution, but it is necessary to set the verification condition each time of re-execution.
The number of preset microprogram specifications is enormous, and it is often the case that the operator performs this task because the necessary verification conditions must be searched and set based on the violation detection result. It is expected that it will take time, which conflicts with the main idea of preventing a reduction in verification efficiency. Further, when the operator selects and sets the verification condition, the verification condition may be leaked due to a mistake, and there is a problem in terms of microprogram verification accuracy. An object of the present invention is to solve the above problems and to provide a method for automatically realizing selection and setting of verification conditions in order to efficiently carry out verification in microprogram verification.

[0006]

In order to achieve the above object, in the present invention, in order to select only valid verification conditions when re-verifying from the predetermined verification conditions, the verification is performed. As a result of checking whether the conditions and the information of the micro program source are matched, the violation information when they are not matched is used.

That is, according to the present invention, duplicated information is extracted from the first means for extracting only the verification condition for detecting the violation from the violation information and storing it in the table, and the table created by the first means. And a third means for updating the predetermined verification condition to the verification condition stored in the table via the second means, which is updated by the above means. The verification is repeatedly performed using only valid verification conditions.

[0008]

According to the above means, in the verification process of the microprogram, after the predetermined verification condition is extracted and stored from the violation information, the verification condition for detecting the violation is extracted and the duplicate information is eliminated. By updating to the valid verification condition of, the verification condition required for re-verification can be automatically selected and set.

As a result, when re-verification is repeated, it is possible to carry out verification only with valid verification conditions, and it is possible to obtain verification results efficiently and promptly.

[0010]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS An embodiment of the present invention will be described below with reference to the drawings.

FIG. 1 is a processing block diagram schematically showing the flow of a microprogram verification processing according to an embodiment of the present invention. In FIG. 1, 3 is a microprogram source to be verified, 4 is a microprogram definition, 2 is a microprogram specification restriction, that is, a verification condition created from the microprogram specification 1, and the above input information.
Further, 5 is a verification preparation processing part for deriving all paths that may pass through during execution of the microprogram source and storing them in a table, and 6, 7 collate the verification conditions with the derived paths and verify whether or not they match. A portion 10 for editing is a portion for editing the restriction violation information 9 that does not match as a result of verification in a form that is easy for the operator to see. The edited restriction violation information is output to the output device 11 and the printing device 12, and the operator analyzes this and corrects the violation part of the microprogram source 13. If there is no violation as a result of the verification, the verification is finished 8. The above-mentioned part is described in JP-A-02-083.
The process is described in Japanese Patent Publication No. 748, and detailed description thereof is omitted.

In FIG. 1, a portion indicated by a thick line is a verification condition update processing portion according to an embodiment of the present invention. Hereinafter, this part will be described.

First, the verification condition and the derivation route are compared 6,7.
After all are completed, the violation information 9 is referred to, the verification condition information in which the violation is detected is extracted, and the duplicate information is eliminated.
Create verification condition information necessary for reverification 14.

Further, the update processing 15 updates the microprogram specification restriction (verification condition) file 2 to the selected verification condition.

When the re-verification is carried out, the updated micro-program specification restriction (verification condition) 2 is input and the verification is performed in the same manner as described above, and the verification is repeated until the end 8.

FIG. 2 is a diagram for explaining a process 14 for selecting a verification condition from the violation information 9. The violation information to be input stores the verification condition information 16 that detects the violation and the information 17 that indicates the portion of the microprogram source that has the violation. In the verification condition selection processing 14, rule A, rule B, rule A, and rule E are collected as the verification condition information 16 for detecting the violation. These are stored in the verification condition information table 18, but rule A that is duplicated at that time is excluded. By such a process, the verification condition required at the time of re-verification is created.

FIG. 3 shows a verification condition extraction / selection process 1 for a microprogram specification restriction (verification condition) information file 2.
FIG. 6 is a diagram illustrating in detail the process of updating based on the verification condition information 18 created according to FIG. The microprogram specification restriction (verification condition) information file before update stores five verification conditions of rules A to E as the verification conditions set before the verification is performed. In the update process 15, after the verification, the information stored in the verification condition information table 18 created in the verification condition extraction / selection process 14 is used as a key for updating. That is, among the five verification conditions of rules A to E, only the rule A, the rule B, and the rule E stored in the verification condition information table 18 are stored in the microprogram specification restriction (verification condition) information file 2, Updates are implemented.

By this update processing 15, the minimum required is set as the verification condition at the time of re-verification,
Efficient and quick verification can be performed.

Although the present invention has been specifically described based on the embodiments, it is needless to say that the present invention is not limited to the embodiments and various modifications can be made without departing from the scope of the invention. In the embodiment, the verification condition is obtained from the violation information file, but it is conceivable to provide a table or file for directly storing the verification condition for detecting the violation.

[0020]

As described above, according to the present invention,
In microprogram verification, simply by setting a predetermined microprogram specification limit as a verification condition, and each time the operator repeats verification, the necessary verification conditions are automatically selected and updated, thereby eliminating excessive verification. By avoiding this, it is possible to reliably carry out the minimum required verification, and it is possible to carry out efficient and quick verification without lowering the verification accuracy compared to the conventional method.

[Brief description of drawings]

FIG. 1 is a general processing block diagram schematically showing a flow of processing in microprogram verification according to an embodiment of the present invention;

FIG. 2 is a diagram for explaining a verification condition extraction / selection process according to the present invention;

FIG. 3 is a diagram illustrating a process of updating microprogram specification restriction (verification condition) information according to the present invention.

[Explanation of symbols]

 1 ... Micro program specification, 2 ... Micro program specification restriction (verification condition), 3 ... Micro program source, 4 ... Micro program definition, 5 ... Verification data creation process, 6 ... Verification process with verification condition, 7 ... Verification condition Matching determination with 9 ... Violation information, 10 ... Violation information editing process, 11 ... Terminal device, 12 ... Printing device, 14 ... Verification condition extraction / selection process, 15 ... Update process.

Claims (1)

[Claims] 1. In microprogram verification, in the process of repeating verification until there is no violation for the same microprogram source to be verified, only conditions requiring verification are automatically generated from the predetermined verification conditions. A method and a device for extracting a valid verification condition in which a violation is detected from the verification result and storing it in a table;
From the table created by the first means, the second means for eliminating duplicated information and the predetermined verification condition are updated to the verification condition stored in the table via the second means. A microprogram verifying method and apparatus, characterized in that the verification is carried out only with updated valid verification conditions, which is provided with the third means.