- 博客(5)
- 收藏
- 关注
原创 (FM)Formality 基础知识简介-SVF
在Formality中,SVF(Stromal Vascular Fraction)文件扮演着重要的角色,能够帮工具理解和处理由于其他工具的使用而引入的设计变更。而SVF文件,是DC综合过程中产生的文件,用于记录DC对网表产生的一些变化,防止后续的RTL和门级网表对应不上的问题。无论读入多少个SVF文件,Formality都会创建一个单独的解密后的SVF文件(svf.txt),该文件代表了按顺序读取的自动化设置指导命令。这意味着一个命令的效果是建立在前一个或多个命令的基础上的。
2024-06-07 09:00:00 1255
原创 DC优化——数据路径提取之进位保存加法器
进位保存加法器(Carry Save Adder,简称CSA)是一种特殊的加法器设计,它的主要特点是在执行加法运算时,不立即处理低位产生的进位,而是将其保存下来,以便后续处理。与传统加法器不同,进位保存加法器不需要等待前一位的进位就可以计算出当前位的和,从而实现了更高的并行性。2. 灵活性:进位保存加法器的输出结果(不考虑进位的和与进位)可以与其他电路或算法灵活结合,实现更复杂的计算任务。3.判断中间位是否有进位后,执行最高位 (`1 + 1 + 1`):和是 `1`,有进位 `1`。
2024-06-06 09:00:00 1538
原创 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 734
原创 告诉你有关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 2239
原创 OCV|AOCV|AOCV
相比之前的OCV,每一级delay都是一个(μ,σ)的分布, cell的derate是μ和σ的高斯随机变量函数。由于OCV采用的是单一的derate值,在实际中的variation大概率是服从正态分布的。芯片制造中的偏差是不可避免的,工艺偏差会导致芯片物理参数偏差(线宽、沟道掺杂浓度等),而物理参数偏差会导致电特性参数偏差(电容、电阻、阈值电压、饱和电流、栅极电容等等),而电特性参数偏差会导致cell delay、transition time,net delay的偏差。POCV中的计算公式:.
2024-05-30 22:04:38 1390 1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人