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稱，這款免費工具將促進形式驗證和其它技術協同工作，它將在促進用以驗證的結構化方案中扮演重要角色。