A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification

Created by W.Langdon from gp-bibliography.bib Revision:1.7630

@InProceedings{Pfeifer:2020:DATE,

• author = "Nicolas Pfeifer and Bruno V. Zimpel and Gabriel A. G. Andrade and Luiz C. V. {dos Santos}",
• booktitle = "2020 Design, Automation Test in Europe Conference Exhibition (DATE)",
• title = "A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification",
• year = "2020",
• pages = "538--543",
• abstract = "Multicore chips are expected to rely on coherent shared memory. Albeit the coherence hardware can scale gracefully, the protocol state space grows exponentially with core count. That is why design verification requires directed test generation (DTG) for dynamic coverage control under the tight time constraints resulting from slow simulation and short verification budgets. Next generation EDA tools are expected to exploit Machine Learning for reaching high coverage in less time. We propose a technique that addresses DTG as a decision process and tries to find a decision-making policy for maximizing the cumulative coverage, as a result of successive actions taken by an agent. Instead of simply relying on learning, our technique builds upon the legacy from constrained random test generation (RTG). It casts DTG as coverage-driven RTG, and it explores distinct RTG engines subject to progressively tighter constraints. We compared three Reinforcement Learning generators with a state-of-the-art generator based on Genetic Programming. The experimental results show that the proper enforcement of constraints is more efficient for guiding learning towards higher coverage than simply letting the generator learn how to select the most promising memory events for increasing coverage. For a 3-level MESI 32-core design, the proposed approach led to the highest observed coverage (95.8percent), and it was 2.4 times faster than the baseline generator to reach the latter's maximal coverage.",
• keywords = "genetic algorithms, genetic programming",
• DOI = "doi:10.23919/DATE48585.2020.9116198",
• ISSN = "1558-1101",
• month = mar,
• notes = "Also known as \cite{9116198}",

}

Genetic Programming entries for Nicolas Pfeifer Bruno V Zimpel Gabriel Arthur Gerber Andrade Luiz C V dos Santos

Citations