1 个不稳定版本
0.1.0 | 2023年4月30日 |
---|
#73 in #timing
80KB
2K SLoC
STAGraph
一个基于图的静态时序分析(GB-STA)引擎。
特性
- 高阶网络延迟计算。
- GPU加速。
实现细节
单位
整个STA引擎中,单位固定为以下几种。例如,输入库、寄生参数、约束都按此集合缩放,输出也在这些单位中。
- 时间:1ps
- 电压:1V
- 电流:1mA
- 功率:1uW(尚未使用,因为我们不支持功率分析)
- 电阻:1kOhm
- 电容:1ff
可以验证
- 电阻 * 电容 = 时间;
- 电流 = 电压 / 电阻;
固定这些单位有助于保持代码一致性,并充分利用IEEE 754精度。
最小/最大值和角点
我们打算只支持一个角点。多角点应该在不同主机/卡上运行多个STA引擎实例以减少内存占用。
这也意味着,我们只计算每个GB-STA核心实例的MIN/MAX中的一个。在传播之前,您需要指定要使用的合并策略。为了实现完整的分析,您可以运行核心两次并将它们结合起来以生成设置/保持报告。
依赖关系
~7–18MB
~267K SLoC