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称，这款免费工具将促进形式验证和其它技术协同工作，它将在促进用以验证的结构化方案中扮演重要角色。
