verilog 逻辑综合

逻辑综合是在标准单元库和特定的设计约束的基础上,把设计的高层次描述转成优化门级网表的过程。
设计约束:时序,面积,可测试性,功耗等。
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
大部分运算符都可以进行逻辑综合
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
中间部分先省略

在这里插入图片描述

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
综合举例
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

门级网表的验证

在这里插入图片描述
在这里插入图片描述

逻辑综合建模技巧

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
设计划分
水平划分:将大的问题划分为多个小问题,在组合得到问题的解。
在这里插入图片描述
设计约束指定
在这里插入图片描述

时序电路综合举例

在这里插入图片描述
有限状态自动机:类似于动态规划,得到输入后进行状态转移,这是一种求解问题的思路。
在这里插入图片描述
然后根据逻辑写出RTL描述
确定使用目标工艺库
在这里插入图片描述
进行设计约束,
逻辑综合
优化门级网表
然后验证(使用激励模块)
发送给ABC公式进行版图设计,制造IC芯片
在这里插入图片描述

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值