论文部分内容阅读
逻辑综合是数字系统设计中的重要组成部分。随着LSI、MSI的日益广泛使用,综合的目的将不再是布尔函数的二级最小化。本文提出的自上而下(TD)匹配算法,根据给定组件库中的LSI、MSI,自动综合单输出布尔函数。并且在满足时间要求的同时,对综合的初步结果进行各种优化,使得最后结果所用组件最少。本文还提出利用广义三元式,通过求公共子表达式的自动逻辑综合系统,达到了预期的目的。