J. . Chen, L. . Yan, S. . Wang, and W. . Zheng, “Deep Reinforcement Learning-Based Automatic Test Case Generation for Hardware Verification”, JAIGS, vol. 6, no. 1, pp. 409–429, Nov. 2024.