Verisity公司将宣布为硬件设计师、软件开发人员、验证专家、架构师及项目经理提供专用“验证窗口(verification viewport)”。该视窗将作为Verisity的验证过程自动化(Verification Process Automation,VPA)解决方案的一部分,以Specman测试台开发环境及“e”硬件验证语言为基础。这些产品将于未来两年内推出。
Verisity公司市场及业务开发副总裁Steve Glaser表示,“我们已经从测试平台自动化扩展到VPA,首先经历了整个硬件过程,如今穿越了系统验证过程。Viewports提供总体验证过程中需要的所有支持窗口。”
Glaser表示,面向硬件设计师的即将推出的视窗允许进行模块级验证和命题嵌入及覆盖点。它还将综合现有的工具套件和方法,作为设计师的“测试写入器”。
面向软件工程师的Viewpoint支持C/C++、寄存器视图,并提供与多种软件执行引擎的链接及调试窗口。
京公网安备 11011202001138号
