逻辑综合的功能是对组合逻辑函数的描述进行转换和优化，生成与逻辑功能描述等价的优化的逻辑级纯结构描述。

Functions of logic synthesis are to transform and optimize the combinational logic functions and produce the pure logic level structural description.

youdao

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。

This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.

youdao

此外，本文提出的方法可以与有限状态机拆分、状态编码和逻辑综合等最先进的优化方法相兼容。

Moreover, the proposed approach is compatible with state-of-the-art methods for finite state machine (FSM) decomposition, state encoding, etc.

youdao