陷阱性质相关论文
在高k MOS器件中,铪基高k电介质的使用能减小栅电介质中的泄漏电流,但相对较高的缺陷密度则引起了较多的可靠性问题。为了提高高k......
模型检验输出的反例提供了一种自动产生测试用例的有效途径。提出了一种用模型检验进行构件数据流测试的方法。利用构件状态机描述......
对现今已有的基于模型检测的测试用例生成方法以及覆盖准则进行了研究,在此基础上设计一个基于模型检测工具Nu SMV生成功能测试用......