逻辑综合是在标准单元库和特定的设计约束的基础上,把设计的高层次描述转成优化门级网表的过程。 设计约束:时序,面积,可测试性,功耗等。 大部分运算符都可以进行逻辑综合 综合举例 门级网表的验证 逻辑综合建模技巧 设计划分 水平划分:将大的问题划分为多个小问题,在组合得到问题的解。 设计约束指定 时序电路综合举例 有限状态自动机:类似于动态规划,得到输入后进行状态转移,这是一种求解问题的思路。 然后根据逻辑写出RTL描述 确定使用目标工艺库 进行设计约束, 逻辑综合 优化门级网表 然后验证(使用激励模块) 发送给ABC公式进行版图设计,制造IC芯片