收藏
JasperGold: 强大高效的形式验证平台，以减少人工时间成本
操作系统：Linux
o 提供一揽子的JasperGold Apps套件，每个App为解决特定的验证问题提供专门的自动化解决方案，以减少人力时间成本。即插即用，而并无要需掌握形式验证的相关知识。
– 比如UNR可以解决Unreachability问题, CONN可以解决SOC 顶层集成连线问题。DV工程师无需为了测试这些问题专门耗费大量时间开发专门的测试用例。
o 不光是验证工程师，设计工程师也可以很便捷的使用这些JG App,而无需开发testbench和测试用例，从而在项目早期发现更多的问题。
o 高效便捷GUI支持用户以更快的效率debug形式验证中的问题。
o 强悍的形式验证引擎以最快的时间得以求解，实现效率最大化。
https://www.cadence.com/zh_CN/home/tools/system-design-and-verification/formal-and-static-verification.html
电话：13817154560
邮件：taojiang@cadence.com
