Chen, J. .; Yan, L. .; Wang, S. .; Zheng, W. . Deep Reinforcement Learning-Based Automatic Test Case Generation for Hardware Verification. JAIGS 2024, 6, 409-429.