约束项在数字电路设计中的应用

• Application of Binding Terms in the Design of Digital Circuit