- 博客(5)
- 收藏
- 关注
RSS订阅原创 （FM）Formality 基础知识简介-SVF
在Formality中，SVF（Stromal Vascular Fraction）文件扮演着重要的角色，能够帮工具理解和处理由于其他工具的使用而引入的设计变更。而SVF文件，是DC综合过程中产生的文件，用于记录DC对网表产生的一些变化，防止后续的RTL和门级网表对应不上的问题。无论读入多少个SVF文件，Formality都会创建一个单独的解密后的SVF文件（svf.txt），该文件代表了按顺序读取的自动化设置指导命令。这意味着一个命令的效果是建立在前一个或多个命令的基础上的。
2024-06-07 09:00:00
1014
原创 DC优化——数据路径提取之进位保存加法器
进位保存加法器（Carry Save Adder，简称CSA）是一种特殊的加法器设计，它的主要特点是在执行加法运算时，不立即处理低位产生的进位，而是将其保存下来，以便后续处理。与传统加法器不同，进位保存加法器不需要等待前一位的进位就可以计算出当前位的和，从而实现了更高的并行性。2. 灵活性：进位保存加法器的输出结果（不考虑进位的和与进位）可以与其他电路或算法灵活结合，实现更复杂的计算任务。3.判断中间位是否有进位后，执行最高位 (`1 + 1 + 1`)：和是 `1`，有进位 `1`。
2024-06-06 09:00:00
1488
原创 regsub的使用方法
这里的\1 表示第一个（.+）匹配到的内容，即av , xx\\1 = xxav, 而(.+)aa(.+)qq匹配到的内容是avaa/bbs/qq，被替换成xxav , 所以最终的结果是xxava。第一行命令没有加-expanded , 在(ab)(ab)(ab)cd中没有匹配到任何“a b”的字符串，所以操作结果没有任何变化。如果subSpec中包含“&”或者“\0”，表示将所匹配到的内容赋值于“&”或者“\0”，这里\&和\0都表示匹配到的ab，xx\&和xx\0表示 xxab。
2024-06-01 09:30:00
628
原创 告诉你有关Noise的一切
Noise的分析与Crosstalk的分析类似，同样都考虑aggressor net和victim net之间的电容耦合，aggressor 转换时的arrival window等。对于静态时序分析，当crosstalk作用在victim net上时，工具会考虑对delay产生的最差的影响。对于静态噪声分析，他确定 steady-state victim net上最差的noise bump or glitch(稳态意味着网络在逻辑1或逻辑0处是恒定的)。
2024-05-31 09:00:00
2193
原创 OCV｜AOCV｜AOCV
相比之前的OCV，每一级delay都是一个（μ，σ）的分布， cell的derate是μ和σ的高斯随机变量函数。由于OCV采用的是单一的derate值，在实际中的variation大概率是服从正态分布的。芯片制造中的偏差是不可避免的，工艺偏差会导致芯片物理参数偏差（线宽、沟道掺杂浓度等），而物理参数偏差会导致电特性参数偏差（电容、电阻、阈值电压、饱和电流、栅极电容等等），而电特性参数偏差会导致cell delay、transition time，net delay的偏差。POCV中的计算公式：.
2024-05-30 22:04:38
1346
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人