Abstract | ||
---|---|---|
Microarchitectural information regarding various aspects of instruction execution can help processor-level stimuli generators more easily reach verification goals. While many such aspects are based on common microarchitectural concepts, their specific manifestations are highly design-specific. We propose using an automatic method for acquiring such microarchitectural knowledge and integrating it into the stimuli generator. We start by extracting microarchitectural data from simulation traces. This data is fed to a decision tree learning algorithm that produces rules for microarchitectural behavior of instructions; these rules are then integrated into the testing knowledge of the stimuli generator. This testing knowledge can provide users with the ability to better control the microarchitectural behavior of generated instructions, leading to higher quality test cases. Experimental results on the POWER7 processor showed that our proposed method can improve the microarchitectural cover-age of the design. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1145/2024724.2024914 | Design Automation Conference |
Keywords | Field | DocType |
microarchitectural behavior,testing knowledge,processor-level stimuli generator,microarchitectural knowledge,stimuli generation quality,automatic method,microarchitectural data,stimuli generator,microarchitectural coverage,common microarchitectural concept,feature extraction,testing,registers,functional verification,instruction sets,decision trees,machine learning,engines,decision tree,generators,decision tree learning,microarchitecture,formal verification | Decision tree,Functional verification,Computer architecture,Instruction set,Computer science,Real-time computing,Feature extraction,Test case,Decision tree learning,Microarchitecture,Formal verification | Conference |
ISSN | ISBN | Citations |
0738-100x | 978-1-4503-0636-2 | 14 |
PageRank | References | Authors |
0.90 | 7 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yoav Katz | 1 | 101 | 9.36 |
Michal Rimon | 2 | 189 | 13.88 |
Avi Ziv | 3 | 465 | 72.49 |
Gai Shaked | 4 | 14 | 0.90 |