总部位于美国麻省Everett的初创企业Assertive Design公司,正将其基于特性规范语言(PSL)的软件瞄准整个设计与验证市场。该公司称,其技术可使用自动生成的声明(assertion),对硬件设计进行系统验证。
据该公司创始人之一兼CEO Angelo Guadagno称,Assertive的Design PSL(DPSL)超越了验证自动化,当前市场上大约55%的工具都有这一功能。相反,他表示,DPSL有内置声明,能大幅缩短验证工作量。
他指出,“大型EDA公司不会费劲解决这种问题”,而是专注于收购拥有可使验证更加自动化的技术的小公司。尽管该技术需要设计师学习DPSL语言,Guadagno深信这不是主要障碍。他说,有10个设计师已经学习了该技术,他们在不到一个小时的时间内理解了这种语言的基本原理。
Assertive还创建了DPSL的编译,因此文档可以输出为RTL格式,使公司用户能使用所有当前的软件工具。“唯一区别是RTL已经经过验证。”他表示。
Guadagno透露,业内对DPSL技术的兴趣很大,甚至一些大公司也在寻找减少验证时间的途径。他表示,该公司有三条Beta测试线,8月1日左右将开始进行Beta测试。
京公网安备 11011202001138号
