Application of Binding Terms in the Design of Digital Circuit

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