多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包(英文)

提出了一种多层次测试包(MLT)用来测试系统层的设计.该包可以被用来测试由门组件层C++代码和C++复杂函数构成的混合设计.电路部件在高功能层上被描述,而C++函数被用来描述门组件层的部件.测试工具可用高层C++函数的模拟来用于门组件层部件.使用这个包避免了将被测试部件转换成硬件描述语言,同时也提高了测试应用程序的模拟速度.

时间自动机的事务级形式验证(英文)

提出了一种形式方法用于验证TLM-2.0的设计方案.该方法中TLM-2.0设计方案将被转换成定时自动机形式模型.定义若干种属性,验证将根据这些属性执行,并引入一种模拟事务级设计方案差错的故障模型来评估这些属性.然后这些属性通过使用形式UPPAAL验证工具在系统的定时自动机表示上针对这些故障被验证.最后通过一个实例研究说明该方法的有效性.