作为踏足功能验证(functional verification)市场的第一步,Magma Design Automation最近宣布将提供IBM授权的等效检验器Quartz Formal,Magma将其作为单独工具销售,补充该公司的综合和物理设计产品。
Quartz Formal已被IBM内部使用了8年,用于微处理器和ASIC,据称已为超过2.7亿晶体管验证设计。主要用在RTL到门、门到门和门到晶体管对比上,尽管Magma的重心不在门到晶体管功能。
Magma前端业务部总经理Kam Kittrell表示,“大多数使用Blast Create综合或Blast Fusion布局布线工具的客户,使用形式验证工具,所以该产品是一个很好的软件包,能提供完整的功能。”
形式等效校验市场(formal equivalence checking market)目前由Synopsys的Formality产品和Cadence的 Conformal所主导。据最新的Dataquest数据称,这些产品2002年市场份额大致相同。明导的FormalPro是另外一个竞争对手。
但Kittrell表示,基于速度和在大量设计中获得的证明,他相信Quartz Formal能够抢得市场。虽然速度的对比取决于设计,但他称Quartz Formal的速度比其它等效检验器快10倍。
Kittrell还指出,IBM自己不会销售Quartz Formal,但他不愿透露IBM是否独家授权给Magma。
京公网安备 11011202001138号
