由于该时序逻辑综合新方法在处理过程中要涉及解大型覆盖表的问题，为此提出满足压缩状态表约束关系的状态分配的简化算法。

This method, based on combinational logic minimization, proposes a new idea to proceed state assignment according to constrained. relation of compressed state table.

youdao

这些关系通过创建表之间的约束关系来确定。

These relationships are identified through the creation of constraints between tables.

youdao

目前的CTP 1仅支持表、索引和约束。

CTP1 version only supports tables, indexes and constraints.

youdao