Magma发布了基于IBM技术的正式检验产品Quartz Formal

美国加利福尼亚州圣塔克拉拉，2004年4月22日讯–芯片设计解决方案供应商微捷码(Magma)设计自动化公司(纳斯达克代码：LAVA)于今日发布了一款全新的正式验证产品Quartz®Formal，该产品以IBM授权的布尔等效技术为基础。Quartz Formal构成了QuickCap的一部分，共同组成微捷码(Magma)软件产品套件，实现集成电路设计签核。.

微捷码(Magma)董事长兼首席执行官Rajeev Madhavan先生表示：“这一逻辑等效检验技术是真正久经考验的。”他进一步强调：“它以久经IBM生产考验的技术为基础，满足了最严格的定制需求和标准的IC设计需求。Quartz Formal实现了完善的等效检验环境，包含了从RTL到门极和晶体管的设计实施环节。通过授权，我们将为客户提供正式验证技术，支持RTL到门极的等效验证，门极到门极的等效验证以及独一无二的晶体管到门极的等效验证。同时客户也将感受到速度带来的优势：利用这一技术，我们自有的质量保证流程得以加速，提高了6－20个系数。这也构成了我们希望授权使用该技术的主要原因。”

微捷码(Magma)获得授权的逻辑等效检验技术，IBM已经开发并使用了8年之久。一直以来，它用于支持超过2.7亿只晶体管的电路设计，包括IBM POWER4和POWER5微处理器，以及多种ASIC设计。

Fastrack Design总裁兼首席执行官Moazzem Hossain先生评价道：“Quartz Formal产品比我们以往用过的所有正式验证产品都要快十倍左右。该技术已经帮助我们识别了若干个设计中的细微问题，而另一个领先的验证工具则没有发现这些问题。毫无疑问，将这一验证技术与微捷码(Magma)的IC设计流程相结合将实现最高的设计质量和最快的开发周期。”