This paper describes a synthesis engine based on equivalence checking.It synthesizes RTL description into netlist.

• 摘要本文描述了一个基于等价性验证的逻辑综合引擎，它实现了从RTL级到网表级的综合。