Verification of speculative execution
作者： Laurent Fournier , Michal Rimon , Anatoly Albert Koyfman
DOI:
关键词:
摘要: A Design-Under-Test (DUT) may be designed to perform speculative execution of a branch path prior determination whether the is performed. Verification operation DUT in respect disclosed. template used generate plurality tests. In addition standard randomness tests various parameters accordance with template, also differ their respective paths. The are partitioned by generator into portions placed paths and non-speculative provide for variance portions. nested
lens.org 参考文章(46)
Jacques Van Damme, Achim Nohl, Olaf Luthje, Dynamic host code generation from architecture description for fast simulation ,(2006)
John L. Hennessy, David A. Patterson, Computer Organization and Design, Fourth Edition, Fourth Edition: The Hardware/Software Interface (The Morgan Kaufmann Series in Computer Architecture and Design) Morgan Kaufmann Publishers Inc.. ,(2008)
John E. Spracklen, Valeri Popescu, Merle A. Schultz, Bruce D. Lightner, Gary A. Gibson, Processor architecture supporting multiple speculative branching ,(1995)
Roy Emek, Igor Dozorets, Itai Jaeger, Sanjay Gupta, Tzach Schechner, Todd Swanson, Lawrence Allyn McConville, Dynamically interleaving randomly generated test-cases for functional verification ,(2005)
Satheesh Kumar Madathiparambil Gopinathan Nair, Andrew Hyun-Chul Kim, John Randall West, Method and system for rule-based generation of automation test scripts from abstract test case representation ,(2005)
Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Symbolic execution of object oriented programs with axiomatic summaries ,(2005)
John Robert Lambert, Automatic determination of invalid call sequences in software components ,(2003)
Lin Tan, Madanlal Musuvathi, Automatically generating test cases for binary code ,(2007)
John L. Hennessy, David A. Patterson, Computer Architecture: A Quantitative Approach ,(1989)