- 适用
- 流水线结构、翻转率高的运算逻辑
- 方法
- 把 RTL 映射到定制单元，用脚本生成门级网表
- 配合
- 定制单元、K 库、手工 PR
- 验证
- 与 RTL 的形式等价性检查、门级仿真、静态时序分析
为什么采用手工网表
网表、单元和布局一起设计。
按定制
单元 映射 把 RTL 手工映射到定制的寄存器、锁存器和组合逻辑单元。
规整的
结构 流水线逐级结构相似，网表按位片组织，与布局一一对应。
统一的
命名 网表命名规范统一，便于脚本处理，也便于后续手工布局。
关键
路径 优化 按关键路径选择单元类型、驱动强度和阈值电压类型。
时序
逻辑 优化 使用多比特寄存器和动态单元，降低时钟和时序逻辑的功耗。
与自动
流程 兼容 定制部分之外的逻辑继续使用综合流程，在同一套签核中收敛。
手工网表流程
六个步骤，从 RTL 到可布局的网表。
RTL 评审
确认模块层级和数据流向，划分适合定制的逻辑。
单元
选择 确定寄存器、锁存器和组合逻辑的单元类型。
网表生成
把 RTL 映射到定制单元，用脚本生成门级网表。
等
价性 检查 用形式验证确认网表与 RTL 等价。
门级
仿真 与时序 完成门级仿真和静态时序分析。
交接
布局 把网表与命名规范交付手工布局布线。
关于手工网表的问题
为什么需要手工网表？
手工网表可以根据定制单元的类型对 RTL 做映射，统一的命名也便于脚本处理网表和手工布局。这些都能让网表和布局配合得更紧密。
哪些逻辑适合手工网表？
流水线结构、翻转率高的运算逻辑最适合。控制逻辑路径去向复杂，通常继续采用综合流程。
手工网表需要我们自己编写吗？
一般的流水线结构算法逻辑，我们可以根据您的 RTL 完成；复杂设计按项目配合。
对前端 RTL 有什么要求？
保留模块层级，数据流向清晰，便于后续脚本处理，最终落到网表。
如何确认网表正确？
用形式等价性检查确认网表与 RTL 一致，并完成门级仿真和静态时序分析。
相关页面
有适合手工网表的模块？
把 RTL 结构、目标工艺和时序目标发给我们，我们会尽快回复。