SLAM: SLice And Merge - Effective Test Generation for Large Systems.
Haifa Verification Conference(2013)
关键词
Functional verification, Test generation, Verification IP reuse
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要
Haifa Verification Conference(2013)