Functional qualification of TLM verification
Functional qualification of TLM verification
复制标题
TLM验证的功能资格
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Florian Letombe
中科院分区：
文献类型：
--
作者：
N. Bombieri;F. Fummi;G. Pravadelli;M. Hampton;Florian Letombe
该主题将涵盖使用功能资格来衡量TLM模型功能验证质量的使用。功能资格基于突变分析理论，但仅在测试案例失败时才认为突变被杀死。提出了一种基于测试柜和断言的验证环境的TLM行为突变模型。该演讲最初描述了该主题的理论方面，然后通过使用实际的EDA工具专注于对实际情况的应用，从而显示了突变分析在TLM中应用的优势和局限性。
The topic will cover the use of functional qualification for measuring the quality of functional verification of TLM models. Functional qualification is based on the theory of mutation analysis but considers a mutation to have been killed only if a test case fails. A mutation model of TLM behaviors is proposed to qualify a verification environment based on both testcases and assertions. The presentation describes at first the theoretic aspects of this topic and then it focuses on its application to real cases by using actual EDA tools, thus showing advantages and limitations of the application of mutation analysis to TLM.