|
|
瑞典EDA供应商Safelogic公司日前表示,推出Verifier 1.5验证工具,新工具增加了分等级验证功能,可以将验证重用的工作简化。据称该工具可以对Accellera公司的属性规范语言(Property Specification Language,PSL)提供完整验证。
Safelogic公司的Verifier设计工具可以对RTL属性提供验证,并可跟踪设计中出现的问题,不需要额外的辅助。该工具易于使用,设计师将文件引入后,增加相应的属性后,点击验证按钮即可进行。
Safelogic也销售监视器产品,这是一个嵌入式属性仿真器,2002年10月首次推出。据悉,这两款工具都是采用proprietary语言,但后来公司转向支持PSL语言。为了推广这些新的工具产品,Safelogic日前通过第二轮风险基金筹集到350万美元推广资金。
ABB以电气问题解决专家之志，回答未来之问。讲述与中国用户携手开拓创新、引领行业发展、推动绿色转型的合作故事，共同谱写安全、智慧和可持续的电气化未来。
12月18日，《AVEVA InTouch Unlimited重塑HMI/SCADA的无限可能》在线研讨会即将开播。
为助力广大电子半导体企业洞悉行业数智化发展趋势，并提供切实可行、可靠的解决方案，推动整个行业繁荣发展，剑维软件的专家团队
微信扫一扫，关注IIANews公众号
微信扫一扫，进入IIANews微网
京公网安备 11011202001138号
