2002 · 43 citations · 11 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureDesign OptimizationHardware-software Co-designGenetic AlgorithmsMicroarchitecture DesignProcessor MicroarchitectureBuffer OptimizationCoverageGenetic Algorithm Based DesignGenetic Algorithm OptimizationHardware Random Number Generators
Biased random instruction generators are commonly used in architectural verification of microprocessors, with biases specified manually by designers. As the complexity of processors grows, so does the complexity of specifying biases. Automatic bias generation speeds up the verification flow and may lead to better coverage of potential design errors. In this work, we present a genetic algorithm based framework to automatically generate biases. We target utilization of specific buffers for a new version of the PowerPC architecture. Our results show that the GA is effective in achieving high buffer utilization. Also, in targeting multiple objectives, the best approach to use depends on whether the objectives are related.
11
Genetic algorithms in search, optimization, and machine learning
Choice Reviews Online · 1989 · 49.3K citations
Micro architecture coverage directed generation of test programs
Shmuel Ur, Yaov Yadin · 1999 · 89 citations · Full text
A study in coverage-driven test generation
Mike Benjamin, Daniel Geist, Alan Hartman et al. · 1999 · 87 citations · Full text
User defined coverage---a tool supported methodology for design verification
Raanan Grinwald, Eran Harel, Michael Orgad et al. · 1998 · 85 citations · Full text