计算机工程与科学2023，Vol.45Issue(8)：1365-1375,11.DOI:10.3969/j.issn.1007-130X.2023.08.005
基于Surrogate模型的断言覆盖技术研究
A Surrogate model-based assertion coverage improvement technology
摘要
关键词
SystemVerilog断言/测试生成/Surrogate模型Key words
SystemVerilog assertion/test generation/Surrogate model分类
信息技术与安全科学引用本文复制引用
史明川,龙巧洲,邹鸿基,李暾..基于Surrogate模型的断言覆盖技术研究[J].计算机工程与科学,2023,45(8):1365-1375,11.基金项目
国家自然科学基金(U19A2062) （U19A2062）
