Processor verification or validation is performed to verify the proper operation of a hardware component. One such method of processor verification includes simulation based verification. In this method, a test case is built and executed by the hardware. Also, the test case is simulated using software. The results of the hardware execution are compared to the software simulation to verify the hardware operation.
According to one aspect of the present disclosure a method and technique for processor verification using an abstract test case is disclosed. The method comprises identifying a format for an abstract instruction of an abstract test case, selecting an instruction from an instruction pool corresponding to the identified format, and generating a real test case for processor verification by modifying the abstract instruction based on the instruction selected from the instruction pool.
For a more complete understanding of the present application, the objects and advantages thereof, reference is now made to the following descriptions taken in conjunction with the accompanying drawings, in which:
Embodiments of the present disclosure provide a method, system and computer program product for processor verification by building an abstract test case and using the abstract test case to build a real test case. The abstract test case includes one or more abstract instructions that may be modified, replaced or substituted with non-abstract or real instructions from an instruction pool of real instructions. Based on the format of the abstract instruction, different real instructions may be selected from the instruction pool. Thus, the present disclosure enables a number of different test cases or test streams to be built from an abstract test case by selecting different instructions from a format-based instruction pool. Accordingly, embodiments of the present disclosure enable a reduction in the instruction build and build time simulation complexities by enabling different instruction streams to be built from a single abstract test case. Further, embodiments of the present disclosure enable verifying instructions corresponding to particular instruction formats with a minimum number of test cases.
As will be appreciated by one skilled in the art, aspects of the present disclosure may be embodied as a system, method or computer program product. Accordingly, aspects of the present disclosure may take the form of an entirely hardware embodiment, an entirely software embodiment (including firmware, resident software, micro-code, etc.) or an embodiment combining software and hardware aspects that may all generally be referred to herein as a “circuit,” “module” or “system.” Furthermore, aspects of the present disclosure may take the form of a computer program product embodied in one or more computer readable medium(s) having computer readable program code embodied thereon.
Any combination of one or more computer usable or computer readable medium(s) may be utilized. The computer readable medium may be a computer readable signal medium or a computer readable storage medium. A computer readable storage medium may be, for example but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any suitable combination of the foregoing. More specific examples (a non-exhaustive list) of the computer readable storage medium would include the following: an electrical connection having one or more wires, a portable computer diskette, a hard disk, a random access memory (RAM), a read-only memory (ROM), an erasable programmable read-only memory (EPROM or Flash memory), an optical fiber, a portable compact disc read-only memory (CD-ROM), an optical storage device, a magnetic storage device, or any suitable combination of the foregoing. In the context of this document, a computer readable storage medium may be any tangible medium that can contain, or store a program for use by or in connection with an instruction execution system, apparatus or device.
A computer readable signal medium may include a propagated data signal with computer readable program code embodied therein, for example, in baseband or as part of a carrier wave. Such a propagated signal may take any of a variety of forms, including, but not limited to, electro-magnetic, optical, or any suitable combination thereof. A computer readable signal medium may be any computer readable medium that is not a computer readable storage medium and that can communicate, propagate, or transport a program for use by or in connection with an instruction execution system, apparatus, or device.
Program code embodied on a computer readable medium may be transmitted using any appropriate medium, including but not limited to wireless, wireline, optical fiber cable, RF, etc., or any suitable combination of the foregoing.
Computer program code for carrying out operations for aspects of the present disclosure may be written in any combination of one or more programming languages, including an object oriented programming language such as Java, Smalltalk, C++ or the like and conventional procedural programming languages, such as the “C” programming language or similar programming languages. The program code may execute entirely on the user's computer, partly on the user's computer, as a stand-alone software package, partly on the user's computer and partly on a remote computer or entirely on the remote computer or server. In the latter scenario, the remote computer may be connected to the user's computer through any type of network, including a local area network (LAN) or a wide area network (WAN), or the connection may be made to an external computer (for example, through the Internet using an Internet Service Provider).
Aspects of the present disclosure is described below with reference to flowchart illustrations and/or block diagrams of methods, apparatus (systems) and computer program products according to embodiments of the disclosure. It will be understood that each block of the flowchart illustrations and/or block diagrams, and combinations of blocks in the flowchart illustrations and/or block diagrams, can be implemented by computer program instructions. These computer program instructions may be provided to a processor of a general purpose computer, special purpose computer, or other programmable data processing apparatus to produce a machine, such that the instructions, which execute via the processor of the computer or other programmable data processing apparatus, create means for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks.
These computer program instructions may also be stored in a computer-readable medium that can direct a computer or other programmable data processing apparatus to function in a particular manner, such that the instructions stored in the computer-readable medium produce an article of manufacture including instruction means which implement the function/act specified in the flowchart and/or block diagram block or blocks.
The computer program instructions may also be loaded onto a computer or other programmable data processing apparatus to cause a series of operational steps to be performed on the computer or other programmable apparatus to produce a computer implemented process such that the instructions which execute on the computer or other programmable apparatus provide processes for implementing the functions/acts specified in the flowchart and/or block diagram block or blocks.
With reference now to the Figures and in particular with reference to
In some embodiments, server 140 and server 150 connect to network 130 along with data store 160. Server 140 and server 150 may be, for example, IBM System p® servers. In addition, clients 110 and 120 connect to network 130. Clients 110 and 120 may be, for example, personal computers or network computers. In the depicted example, server 140 provides data and/or services such as, but not limited to, data files, operating system images, and applications to clients 110 and 120. Network data processing system 100 may include additional servers, clients, and other devices.
In the depicted example, network data processing system 100 is the Internet with network 130 representing a worldwide collection of networks and gateways that use the Transmission Control Protocol/Internet Protocol (TCP/IP) suite of protocols to communicate with one another. At the heart of the Internet is a backbone of high-speed data communication lines between major nodes or host computers, consisting of thousands of commercial, governmental, educational and other computer systems that route data and messages. Of course, network data processing system 100 also may be implemented as a number of different types of networks, such as for example, an intranet, a local area network (LAN), or a wide area network (WAN).
Processor unit 204 serves to execute instructions for software that may be loaded into memory 206. Processor unit 204 may be a set of one or more processors or may be a multi-processor core, depending on the particular implementation. Further, processor unit 204 may be implemented using one or more heterogeneous processor systems in which a main processor is present with secondary processors on a single chip. As another illustrative example, processor unit 204 may be a symmetric multi-processor system containing multiple processors of the same type.
In some embodiments, memory 206 may be a random access memory or any other suitable volatile or non-volatile storage device. Persistent storage 208 may take various forms depending on the particular implementation. For example, persistent storage 208 may contain one or more components or devices. Persistent storage 208 may be a hard drive, a flash memory, a rewritable optical disk, a rewritable magnetic tape, or some combination of the above. The media used by persistent storage 208 also may be removable such as, but not limited to, a removable hard drive.
Communications unit 210 provides for communications with other data processing systems or devices. In these examples, communications unit 210 is a network interface card. Modems, cable modem and Ethernet cards are just a few of the currently available types of network interface adapters. Communications unit 210 may provide communications through the use of either or both physical and wireless communications links.
Input/output unit 212 enables input and output of data with other devices that may be connected to data processing system 200. In some embodiments, input/output unit 212 may provide a connection for user input through a keyboard and mouse. Further, input/output unit 212 may send output to a printer. Display 214 provides a mechanism to display information to a user.
Instructions for the operating system and applications or programs are located on persistent storage 208. These instructions may be loaded into memory 206 for execution by processor unit 204. The processes of the different embodiments may be performed by processor unit 204 using computer implemented instructions, which may be located in a memory, such as memory 206. These instructions are referred to as program code, computer usable program code, or computer readable program code that may be read and executed by a processor in processor unit 204. The program code in the different embodiments may be embodied on different physical or tangible computer readable media, such as memory 206 or persistent storage 208.
Program code 216 is located in a functional form on computer readable media 218 that is selectively removable and may be loaded onto or transferred to data processing system 200 for execution by processor unit 204. Program code 216 and computer readable media 218 form computer program product 220 in these examples. In one example, computer readable media 218 may be in a tangible form, such as, for example, an optical or magnetic disc that is inserted or placed into a drive or other device that is part of persistent storage 208 for transfer onto a storage device, such as a hard drive that is part of persistent storage 208. In a tangible form, computer readable media 218 also may take the form of a persistent storage, such as a hard drive, a thumb drive, or a flash memory that is connected to data processing system 200. The tangible form of computer readable media 218 is also referred to as computer recordable storage media. In some instances, computer readable media 218 may not be removable.
Alternatively, program code 216 may be transferred to data processing system 200 from computer readable media 218 through a communications link to communications unit 210 and/or through a connection to input/output unit 212. The communications link and/or the connection may be physical or wireless in the illustrative examples. The computer readable media also may take the form of non-tangible media, such as communications links or wireless transmissions containing the program code.
The different components illustrated for data processing system 200 are not meant to provide architectural limitations to the manner in which different embodiments may be implemented. The different illustrative embodiments may be implemented in a data processing system including components in addition to or in place of those illustrated for data processing system 200. Other components shown in
Instruction pool 330 includes a number of different, predefined non-abstract or real instructions corresponding to the different instruction formats available for verifying or testing the selected processor architecture. For example, in some embodiments, instruction pool 330 may comprise a table defining a number of different instructions each corresponding to a different instruction format. In
Execution manager 320 receives and/or otherwise processes the abstract test case built by abstract test case builder 310 by modifying, substituting and/or otherwise replacing the abstract instructions in the abstract test case with real instructions selected from instruction pool 330. In some embodiments, execution manager 320 randomly selects a particular instruction from instruction pool 330. However, it should be understood that other methods may be used for determining which real instruction to select from instruction pool 330 for substituting for an abstract instruction. Execution manager 320 identifies the format of the abstract instruction and selects a real instruction from instruction pool 330 corresponding to the same format. Thus, the abstract test case may include a number of instances of the same abstract instruction format while execution manager 320 randomly selects different real instructions from instruction pool 330 corresponding to the abstract instruction format. Accordingly, the abstract test case enables different instruction streams to be built based on a particular abstract test case.
At block 606, abstract test case builder 310 builds an abstract instruction corresponding to the designated or selected format and including the register information selected at block 604. At block 608, the status of the selected registers are tracked (e.g., to accommodate a comparison of a hardware result of execution of the instruction to a simulated execution). At decisional block 610, a determination is made whether another instruction is to be included in the test case. If so, the method returns to block 600. For example, the above method may be repeated to include any desired quantity of instructions in the test case, including a desired quantity of particular instructions of a specific format. If no further instructions are to be included in the abstract test case, the method proceeds to block 612, where the abstract test case is passed to execution manager 320 for generating a real test case for processor verification.
At block 706, execution manager 320 accesses instruction pool 330 and selects an instruction from instruction pool 330 corresponding to the identified abstract instruction format. As described above, in some embodiments, execution manager 320 may randomly select an instruction from instruction pool 330 corresponding to the identified instruction format. At block 708, execution manager 320 builds a real instruction by substituting the instruction from instruction pool 330 for the abstract instruction. Substituting the instruction from instruction pool 330 for the abstract instruction may include substituting particular opcodes and/or extended opcodes, as well as specifying particular registers, for building a real instruction word. At decisional block 710, a determination is made whether the abstract test case includes another instruction. If so, the method returns to block 702. Otherwise, the method proceeds to block 712, where execution manager 320 executes the real test case for a processor verification. It should be understood that the above method may be repeated to build additional instruction streams with different instructions (e.g., by selecting different real instructions from instruction pool 330).
Thus, embodiments of the present disclosure enable a number of different instruction test streams to be built from a single abstract test case, thereby reducing the complexity and time for building test streams and performing processor verification using the test streams. Further, since instructions are selected from a format-based instruction pool, embodiments of the present disclosure enabler greater maximization of verifying all instructions in a particular format using a minimum number of test cases.
The terminology used herein is for the purpose of describing particular embodiments only and is not intended to be limiting of the disclosure. As used herein, the singular forms “a”, “an” and “the” are intended to include the plural forms as well, unless the context clearly indicates otherwise. It will be further understood that the terms “comprises” and/or “comprising,” when used in this specification, specify the presence of stated features, integers, steps, operations, elements, and/or components, but do not preclude the presence or addition of one or more other features, integers, steps, operations, elements, components, and/or groups thereof. The corresponding structures, materials, acts, and equivalents of all means or step plus function elements in the claims below are intended to include any structure, material, or act for performing the function in combination with other claimed elements as specifically claimed. The description of the present disclosure has been presented for purposes of illustration and description, but is not intended to be exhaustive or limited to the disclosure in the form disclosed. Many modifications and variations will be apparent to those of ordinary skill in the art without departing from the scope and spirit of the disclosure. The embodiment was chosen and described in order to best explain the principles of the disclosure and the practical application, and to enable others of ordinary skill in the art to understand the disclosure for various embodiments with various modifications as are suited to the particular use contemplated.