EDA初创公司Jasper日前推出Gold 4.2验证系统,这是该公司形式验证方案中的新成员,这款产品支持Verilog语言。新推出的Gold 4.2在验证流程的每一步(包括规划、预测、语言支持、引擎性能、可视化和调试)都做了改进。
Gold 4.2新增了先进的调试功能,以能执行PSL和断言(assertion languages),这一新功能可自动显示造成断言失败事件的多周期追踪过程,该公司称,可通过单个窗口将解释断言失败的复杂PSL或SVA序列“一眼扫尽”。
Jasper称, Gold 4.2所新增的可视功能可使用户可视化影响锥(cone-of-influence)的结构视图,并分析与具体调试环节中某个特性相关的区。 这款工具还包括了新的验证引擎,据说较之前的旧版Gold可将某些性能提高30倍。Jasper Gold 4.2还具备另一个新的功能,称之为“形式预测器”,可在验证某项设计之前对其进行分析并生成其设计复杂性报告。
Jasper公司新推出的Gold 4.2验证系统现已上市。Jasper将于设计自动化会议上公布有关Gold 4.2版的更多信息。
同样,Japser还推出了GamePlan Verification Planner,这是一款免费工具,可用来生成并追踪验证计划进度。Jasper称,这款免费工具将促进形式验证和其它技术协同工作,它将在促进用以验证的结构化方案中扮演重要角色。
京公网安备 11011202001138号
