RTL Test Generation on Multi-core and Many-Core Architectures. - Aravind Krishnan Varadarajan; Michael Hsiao (VLSID, 2019)