义隆电子（Elan Microelectronics）使用Cadence Encounter Conformal Custom等效检验解决方案成功地验证了其标准单元库和嵌入式存储器。义隆电子利用Encounter Conformal Custom的形式等效检验功能对RTL模型和相应的晶体管网表进行了彻底的比较。作为业界领先的Encounter Conformal形式验证技术的重要组成部分，Conformal Custom能够有效去除边界条件逻辑错误，从而帮助义隆电子降低功能性错误的风险。

对于那些设计定制数字芯片和IP，并且独立创建自有单元库、定制化datapath、IO pad和嵌入式存储器的设计公司来说，功能验证显得愈发重要。Encounter Conformal Custom能够发现传统解决方案（如仿真和符号模拟）所无法发现的晶体管设计中的功能性错误。Encounter Conformal Custom能够降低硅片返工和设计风险，缩短产品上市时间，并提高硅片质量（QoS）。

“我们选择Conformal Custom进行等效检验的理由有：易用，高速和准确。我们采用该技术来比较Spice模型和Verilog?仿真及Liberty综合模型，从而验证我们的标准单元库，”义隆电子的电子设计自动化部门副总监L.C. Lin说，“Conformal Custom帮助我们发现了很多建模不一致性和功能性错误，从而提高了我们的单元库的质量。通过参照RTL模型来验证存储器电路的逻辑功能，Conformal Custom还保证了高质量存储器模型。用Conformal Custom开发的存储器模型可以直接在我们的仿真器和模拟器中工作。”

Encounter Conformal Custom将等效动能检验扩展到定制数字逻辑设计和定制存储器设计领域。它能自动从晶体管级电路中抽取门级模型，并将其与原始RTL进行功能等效性比较。

“由于Cadence Encounter Conformal Custom无需激励源即能完成穷尽验证，所以它能加速验证周期，” Cadence 公司的形式验证部门的研发副总裁Michael Chan说，“Cadence公司一直致力于增强其Conformal解决方案－它是业界领先的验证流程和唯一一个全面的集成化等效检验和功能验证解决方案。”