首页>
外国专利>
Late binding of variables during test case generation for hardware and software design verification
Late binding of variables during test case generation for hardware and software design verification
展开▼
机译:测试用例生成过程中变量的后期绑定,用于硬件和软件设计验证
展开▼
页面导航
摘要
著录项
相似文献
摘要
Methods and systems are provided that improve design verification by test generators by delaying assignment of values in the generated stimuli until these values are used in the design. Late binding allows the generator to have a more accurate view of the state of the design, and in order to choose correct values. Late binding can significantly improve test coverage with a reasonable performance penalty as measured by simulation time.
展开▼