Overview

Specification-driven test generation is a test-generation approach identified in the processor-validation literature. The provided evidence specifically cites Prabhat Mishra and Nikil Dutt's 2008 article, Specification-driven directed test generation for validation of pipelined processors, published in ACM Transactions on Design Automation of Electronic Systems 13(3). This establishes the concept in the context of directed test generation and pipelined-processor validation. [Term and canonical cited work]

Context in microprocessor test generation

The concept appears in the bibliography of Test Program Generation for a Microprocessor: A Case Study, where it is listed among works on test-program generation and processor validation. The same bibliography also cites related microprocessor test-generation approaches, including a functional test program generation methodology, a reconfigurable model-based test program generator for microprocessors, and a configurable random test-program generator for microprocessors. [Placement in microprocessor test-generation literature] [Related test-generation approaches]

Scope supported by the evidence

From the available evidence, the directly supported scope is narrow:

• it is associated with directed test generation;
• it is applied to validation of pipelined processors;
• it is part of the broader literature around microprocessor test-program generation. [Supported scope]

The provided evidence does not include algorithmic details, input specification formats, coverage models, or implementation architecture for the technique.