DGC does an optimization and technology mapping for an abstract description of boolean functions and state machines.

• DGC为布尔函数和状态机的抽象描述进行优化和技术映射。