This method, based on combinational logic minimization, proposes a new idea to proceed state assignment according to constrained. relation of compressed state table.
由于该时序逻辑综合新方法在处理过程中要涉及解大型覆盖表的问题,为此提出满足压缩状态表约束关系的状态分配的简化算法。
It is the relation between custom and state law in actual aspect. Finally, in the fifth part, it USES the jurisprudence knowledge to summarize the relation between custom and state law.
第五部分在前述研究的基础上,对习惯与国家法之间的关系做一个小结性的思考。
应用推荐