Abstract: A method for specifying a set of instructions selectable for generation by an instruction generator is disclosed. A class name representative of a class of instructions is identified and concatenated with a unique identifier label, thereby defining a unique singleton meta-mnemonic representative of a set of instructions. The class of instructions and the set of instructions are subsets of the instruction set of the processor. The resulting singleton meta-mnemonic specifies the set of instructions available for selection and generation by the instruction generator.

Abstract: An exemplary embodiment of the invention relates to a system and method for facilitating coverage feedback testcase generation reproducibility. The system comprises: a testcase generator comprising an instruction generator and an instruction simulator; an internal coverage domain accessible to the testcase generator, a regeneration file storing updated testcase data; and a temporary holding structure. The internal coverage domain comprises: coverage domain elements; a session component; and a prior cumulative history component. Upon generating a testcase by the testcase generator, a regeneration file is constructed utilizing testcase data updates acquired during execution of the testcase. The updates are provided by the temporary holding structure. The invention also comprises a method and storage medium.

Abstract: The invention relates to a system and method for facilitating programmable coverage domains for test case generation, feedback, and measurement. The system comprises a domain definition input file; user-defined coverage domain data entered into the domain definition input file; and a parser operable for translating the user-defined coverage domain data into machine-readable computer program code. The system further includes an internal coverage domain comprising: a union of enabled coverage domains extracted from the user-defined coverage domain data; a session component comprising a session update count for each domain element; and a history component comprising a history update count for each domain element. The system further comprises a testcase generator including an internal coverage feedback and measurement system.