Sonal Pinto, Michael S. Hsiao. Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance. In 2017 IEEE International Conference on Computer Design, ICCD 2017, Boston, MA, USA, November 5-8, 2017. pages 399-402, IEEE Computer Society, 2017. [doi]
Abstract is missing.