软件构件的可信保证研究

近年来,可信构件的研究逐渐引起软件工程领域的重视。可信构件研究与应用的目标是为了给基于构件的软件工程(CBSE)提供坚实的基础,而方法就是通过扩展与完善可信重用的软件构件(可信构件)库。构件的可信来源于可信保障技术的应用,如:契约设计的使用、正确性的数学证明、软件测试、详细的代码走查、基于度量的评估、实际项目的验证、严格的变更管理等。本文通过分析可信构件研究的若干领域,总结出构件可信性的3个角度,探讨了可信构件研究的不足之处,并分析其原因。作为总结,给出了可信构件领域研究需要解决的若干问题。

基于UVM的高效SOC验证环境

SOC(system on chip)的复杂度和尺寸不断增加,且很多验证工程师协同工作,验证的模块各不相同,因此迫切需要一种有效的结构化验证环境。本文给出了UVM(universal verification methodology)验证方法学的参考验证平台,包括目录的设置,接口和寄存器指针等关键技术。该标准化的验证平台可以使得许多工程师协同工作,IP模块可以在顶层验证中得到重用;并且缺少验证技术的硬件工程师可以编写直接测试例来验证硬件功能。总之,该平台提高了验证效率,缩短了SOC设计周期,有利于SOC的面市。