CN101038602A - 一种工艺参数变化下成品率驱动的时钟偏差安排方法 - Google Patents
一种工艺参数变化下成品率驱动的时钟偏差安排方法 Download PDFInfo
- Publication number
- CN101038602A CN101038602A CN 200710039658 CN200710039658A CN101038602A CN 101038602 A CN101038602 A CN 101038602A CN 200710039658 CN200710039658 CN 200710039658 CN 200710039658 A CN200710039658 A CN 200710039658A CN 101038602 A CN101038602 A CN 101038602A
- Authority
- CN
- China
- Prior art keywords
- sigma
- clock
- trigger
- ring
- limit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Design And Manufacture Of Integrated Circuits (AREA)
Abstract
本发明属于集成电路技术领域,具体为一种成品率驱动的时钟偏差安排方法。该方法的步骤包括:根据统计静态时序分析的结果建立统计时序约束图;对该约束图寻找关键环,并重新分配安全余量;然后将关键环压缩成一个超点,更新相应边的权重的均值,将关键中的点和压缩得到的超点的关系插入关系树中;如此重复,直到图中只剩下一个超点或图中边的条数为0;最后遍历关系树,计算代表触发器的所有叶节点的真实的时钟到达时间,从而获得时序相邻的触发器的时钟偏差。本发明方法充分考虑了信号延迟的不确定性,有利于提高芯片的成品率。
Description
技术领域
本发明属集成电路技术领域,具体涉及一种成品率驱动的时钟偏差安排方法。
技术背景
在同步数字集成电路设计中,通常要求所有触发器的时钟信号都是同时到达的即零偏差,以保证时序电路的功能正确。但是,零偏差限制了时序电路中可以正常工作的信号的最高频率,从而影响了电路的性能。安排有用的时钟偏差是提高数字集成电路性能的一种非常有效的手段。
当前先进的集成电路工艺水平已经进入深亚微米阶段,而光刻精度并没有相应的提高,使得集成电路工艺参数与设计值有一定的偏差。这导致制造出来的芯片中的数据信号的延迟和时钟信号的延迟呈现一定的概率分布特性。这种信号延迟的随机变化性可能导致电路时序的不正确。而时序不正确是高速数字集成电路成品率损失的主要因素。因此,在对时钟系统的时钟偏差安排时有必要考虑信号延迟的不确定性,以提高最终芯片的成品率。
在安排时钟偏差时,时钟周期和成品率是两个互相制约的优化目标。早期文献中的算法基本上都是以减小时钟周期为主要优化目标,但是都没有去验证最后的成品率。考虑到工艺参数的不确定性,文献[1][2]预先给每个时钟偏差的可行范围的上下边界设定一个安全余量(slack),即有意的预先缩紧时钟偏差的可行范围。然后在新的可行范围中去优化时钟周期,这样可以保证电路有一定的工艺偏差容忍性。另外一种方法认为,如果把所有的时钟偏差安排在其可行范围的中点,会增强电路对工艺偏差的容忍性。据此,文献[3]把时钟偏差安排问题归结为最小平方误差问题,[3][4]提出不同的优化总的中值误差平方之和的算法。但是,这种算法为了减小总的中值误差平方和,使得某些时钟偏差的安全余量接近零,这不利于提高成品率。
在实际的集成电路设计中,时钟周期通常是固定的。针对这种情况,文献[5]提出在一定时钟周期下的成品率驱动的时钟偏差安排的算法,其中的Prop算法首先按比例分配最关键环中的时钟偏差的安全余量,然后用基于最小均值环(minimum mean cycle)的算法平均的分配剩下的时钟偏差的安全余量。
参考文献
[1]J.P.Fishbum.Clock skew optimization[J].IEEE Transaction on Computers,1990,39(7):945-951
[2]R.B.Deokar and S.S.Sapatnekar.A graph-theoretic approach to clock skew optimization[C]//Proceedings of IEEE International Symposium on Circuits and Systems,London,1994:407-410
[3]J.L.Neves and E.G.Friedman.Optimal clock skew scheduling tolerant to process variations[C]//Proceedings of IEEE/ACM International Conference on Design Automation,Las Vegas,NV,1996:623-628
[4]I.S.Kourtev,and E.G.Friedman.Clock skew scheduling for improved reliability via quadraticprogramming[C]//Proceedings of IEEE/ACM International Conference on Computer AidedDesign,San Jose,CA,1999:239-243
[5]J.-L.Tsai,D.H.Baik,C.C.-P.Chen and K.K.Saluja.Yield-driven,false-path-aware clock skewscheduling[J].IEEE Design & Test of Computers,2005,22(3):214-222
[6]T.H.Cormen,C.E.Leiserson,R.L.Riverst and C.Stein.Introduction to Algorithms[M].Second Edition.Cambridge,Massachusetts:McGraw-Hill Book Company,2001
[7]M.Hartmann,J.B.Orlin.Finding minimum cost to time ratio cycles with small integraltransit times[J].Networks,1993,23:567-574
发明内容
本发明的目的在于提出一种在工艺参数变化下成品率驱动的时钟偏差安排的方法。
下面首先介绍本发明要解决的问题,然后介绍本发明提出的统计时序约束图的概念及建立方法,然后在此基础上,提出一种考虑工艺参数变化的时钟偏差安排方法。
一、本发明要解决的问题
图1所示的是一个简单的同步时序电路。其中,时钟信号没有画出来,带有阴影的椭圆表示触发器之间的组合电路。
在同步时序电路中,时钟信号到达每个触发器的时延通常不会是完全一致的,即有一定的偏差:
sij=Ti-Tj (1)
其中,Ti和Tj分别是时钟信号到达触发器FFi和触发器FFj的时间,这种偏差被称为时钟偏差。通常,我们只关心时序相邻(sequential adjacent)的触发器之间的时钟偏差。如果两个触发器之间有组合电路相连,则称这两个触发器是时序相邻的。
为了保证数据被完整的接收和发送,时钟偏差要满足建立时间和保持时间的约束:
Thold-dij≤sij≤TCP-Dij-Tsetup (2)
其中Thold和Tsetup分别指数据的保持时间和建立时间,TCP表示时钟周期。Dij和dij分别表示触发器和FFi触发器FFj之间的组合电路的最大时延和最小时延。
当工艺参数变化时,不等式(2)中的Dij和dij都不是固定的,而是呈现一定的概率分布特性。另外,即使在安排好时钟偏差后,一方面由于指定偏差的时钟布线算法的不完善,另一方面由于不同时钟路径的时延受工艺参数的影响不同,最终的时钟偏差与预先设定值sij不可能完全一致。这两种不确定性就会导致在工艺参数变化时有一定概率破坏触发器的建立时间和保持时间的约束条件,即时钟偏差的约束条件。
在实际的集成电路设计中,时钟周期通常是固定的。本发明针对这种情况,提出一种在给定时钟周期下合理安排有用时钟偏差的方法,以助于提高集成电路的成品率。
二、统计时序约束图的建立方法
形如不等式(2)所示的约束条件是一个差值约束系统(difference constraint system),可以用一个带权的有向图来表示[6]。由此,一个电路图可转换成一个时序约束图GC[2]。假如数据由触发器FFi流向触发器FFj,那么由FFi指向FFj的边被称作h边,其权值为dij-Thold,由FFj指向FFi的边被称作s边,其权值为TCP-Dij-Tsetup。
假设进行统计静态时序分析后,触发器FFi和触发器FFj之间的组合电路的时延近似服从高斯分布。最大时延
的均值和方差分别是
和
最小时延
的均值和方差分别是
和
这样,
的均值和方差分别是
和
的均值和方差分别是
和
由此,我们把传统的时序约束图延伸为统计的时序约束图。每条边的权重由均值和标准偏差组成,即(μ,σ)。图2表示图1电路对应的统计时序约束图。其中,T1,T2,T3和T4表示相对的时钟到达时间。
三、时钟偏差安排方法
安排时钟偏差,是要确定统计时序约束图中所有时序相邻的触发器之间的时钟偏差。下面具体介绍本发明时钟偏差安排的方法及步骤。先根据静态时序分析的结果建立统计时序结束图。
1.1寻找关键环
最小的环即是关键环。但是,在图中寻找上述比值最小的环的难度很大。
为此,我们定义下面的比值
最小的环为最关键环c,ck表示一个环中的所有的边的集合,μ(e)和σ(e)分别表示边e的权重的均值和标准偏差,α取值范围为1≤α≤2。在实际过程中,α可以任取一个在1和2之间的值,比如1.5。还可以采用二分查找法,寻找一个使得
和
接近的α值。
如果把均μ(e)当作费用,而把标准偏差的幂σα(e)当作时间。这样,在统计时序约束图中寻找关键环的问题就转换成最小费用/时间比值环问题。最小费用/时间比值环问题可参见文献[7]。
1.2分配安全余量
环中的一条边evi,vj对应的时钟偏差的安全余量定义为:
那么,环上的所有的边的安全余量之和为:
通常,触发器之间的组合电路的长路径的时延随机变化性比短路径的大,所以平均分配环里的每条边的安全余量不利于提高成品率[5]。在本发明的算法中,每次找到最关键环c后,按照下式:
即根据路径时延的标准偏差按比例分配每条边的安全余量。
1.3压缩统计时序约束图
与文献[5]中的最小均值环算法类似,分配好关键环中每条边的安全余量后,将关键环压缩成一个超点。同时,要更新环内的点与环外的点相连的边的权重。假设在分配安全余量后环内一个顶点vi的时钟到达时间为Tvi,那么由环外点vj指向环内点vi的边的权重的均值变为μ(evj,vi)Tvi,由环内点vi指向环外点vj的边的权重的均值变为μ(evj,vi)+Tvi。但是,边的权重的标准偏差保持不变。
每当将关键环压缩成一个超点时,需要将关键环中的点和压缩得到的超点的关系插入到一棵关系树(森林)中,如图3所示。其中,关键环中的点是压缩得到的超点的孩子节点。注意,孩子节点也可能是前面过程压缩得到的超点。每个节点中的数值表示本次迭代过程中暂时设定的时钟到达时间。
1.4重复上述过程、计算最终的时钟偏差
将关键环压缩成一个超点并更新相应的边的权重后,在新的图中继续寻找最小费用/时间比值环,然后按照公式(7)分配安全余量,直到图中只剩下一个超点或者图的边的条数为0。注意,如果算法结束时超点个数大于1而边的条数为0,则说明原始电路是由若干个没有数据交换的部分组成的。
在分配好所有的时钟偏差的安全余量后,还需要重新去计算时钟信号到所有的触发器的相对到达时间。最后,通过遍历这棵树(森林)获得最终的时钟到达时间。每个叶节点代表一个触发器,它的真实时钟到达时间是它的所有上层节点时钟到达时间之和。
综上,本发明关于时钟偏差安排方法可归纳为如下具体步骤:
步骤1:根据统计静态时序分析的结果建立统计时序约束图;
步骤2:根据(4)式查找关键环;
步骤3:根据(7)式分配安全余量;
步骤4:将关键环压缩成一个超点,更新相应边的权重的均值;
步骤5:重复步骤2到步骤4,直到图中只剩下一个超点或者图的边的条数为0;
步骤6:遍历如图3所示的树(森林),计算所有叶节点(代表触发器)的真实的时钟到达时间。根据每个触发器的时钟到达时间,即可按(1)式得到时序相邻的触发器的时钟偏差。
发明的特点是:
1、提出统计时序约束图的概念,每条边的权重由均值和标准偏差组成。利用统计时序分析的结果,将时序电路转换成统计时序约束图。
2、寻找关键环时,同时考虑每条数据路径时延的均值和标准偏差的影响。并且,判断关键环的公式中包含一个调节因子α(1≤α≤2)。这样可以根据不同电路和工艺条件而设置不同的因子,使得寻找到的关键环是最接近真实的关键环。
3、根据各条边所对应的数据时延的标准偏差不同而按一定比例分配关键环中每条边的安全余量,即每条边的安全余量的比值等于相应的时延的标准偏差的比值的α次方。
本发明具有如下优点:
1、提出统计时序约束图的概念,能够清晰准确的描述统计时序分析的结果对时钟偏差的约束关系。
2、给出一种新的判断关键环的标准,根据不同电路和工艺条件而设置不同的因子,使得寻找到的关键环是最接近真实的关键环。同时,按照这种新的标准,可以直接利用计算机图论中的最小费用/时间比值环(minimum cost-to-time ratio cycle)算法寻找关键环。
3、在关键环中安排时钟偏差时,使得每条边的安全余量的比值等于相应的数据路径时延的标准偏差的比值的α次方,这样可以使得在工艺偏差下电路时序满足要求的概率增大,有助于提高芯片的成品率。而且,计算工作量大为减少。
附图说明
图1同步时序电路。
图2统计时序约束图。
图3数据结构。
具体实施方式
下面通过具体实例进一步说明本发明。
使用ISCAS’89的标准测试电路,其中包括触发器和组合电路。在安排时钟偏差前,需要做统计时序分析,获得时序相邻的触发器之间的最大时延和最小时延的概率分布信息。在做统计时序分析时,假设每个逻辑门的时延服从相互独立的高斯分布N(μ,σ2)。实验中,选取μ=1ps和σ=0.15ps。
我们使用本发明的方法安排时钟偏差,此外还采用文献[5]中的Prop算法安排时钟偏差,以进行比较。下表中第6列表示了直接设定α为1.5时采用本发明方法后所得到的时序成品率,第7列表示了采用二分查找法计算出的α值及相应的时序成品率。
电路名称 | 触发器数目 | 时钟偏差约束个数 | 时钟周期(ps) | 时序成品率(%) | ||
Prop | 本发明的方法 | |||||
α=1.5 | α= | |||||
S344 | 15 | 74 | 19.40 | 84.86 | 87.50 | 1.633,87.72 |
S526 | 21 | 123 | 10.00 | 90.99 | 95.74 | 1.316,94.91 |
S832 | 5 | 20 | 11.80 | 81.45 | 82.90 | 1.449,82.74 |
S953 | 29 | 150 | 16.85 | 67.72 | 77.48 | 1.561,77.68 |
s1423 | 74 | 1694 | 72.62 | 78.40 | 90.79 | 1.529,91.12 |
s1488 | 6 | 30 | 19.40 | 93.10 | 92.88 | 1.971,93.53 |
s5378 | 179 | 1200 | 26.50 | 92.62 | 97.69 | 1.877,97.86 |
s9234 | 226 | 2680 | 80.50 | 91.88 | 99.70 | 1.769,99.85 |
s35932 | 1728 | 4475 | 40.58 | 93.19 | 99.77 | 1.921,99.82 |
从上面的实验结果可以看出,采用本发明方法安排时钟偏差,时序成品率平均可以提高5.6%左右。
实验结果表明,在成品率驱动的时钟网络设计中,可以首先应用本发明方法进行时钟偏差的安排,然后进行时钟布线及缓冲器插入。本发明方法有利于提高芯片的成品率。
Claims (1)
1、一种工艺参数变化下成品率驱动的时钟偏差安排方法,其特征在于具体步骤如下:
步骤1:根据统计静态时序分析的结果建立统计时序约束图:
在同步时序电路中,时钟信号到达每个触发器的时延有一定的偏差:
sij=Ti-Tj (1)
其中,Ti和Tj分别是时钟信号到达触发器FFi和触发器FFj的时间,这种偏差被称为时钟偏差;
为了保证数据被完整的接收和发送,时钟偏差要满足建立时间和保持时间的约束:
Thold-dij≤sij≤TCP-Dij-Tsetup (2)
其中Thold和Tsetup分别指数据的保持时间和建立时间,TCP表示时钟周期,Dij和dij分别表示触发器和FFi触发器FFj之间的组合电路的最大时延和最小时延;
形如不等式(2)所示的约束条件是一个差值约束系统,用一个带权的有向图来表示,一个电路图转换成一个时序约束图GC,假如数据由触发器FFi流向触发器FFj,那么由FFi指向FFj的边被称作h边,其权值为dij-Thold,由FFj指向FFi的边被称作s边,其权值为TCP-Dij-Tsetup;
步骤2:计算根据(4)式查找关键环:
最小的环为最关键环c,ck表示一个环中的所有的边的集合,μ(e)和σ(e)分别表示边e的权重的均值和标准偏差,α取值范围为1≤α≤2;
步骤3:根据(7)式分配安全余量:
环中的一条边evi,vj对应的时钟偏差的安全余量定义为:
那么,环上的所有的边的安全余量之和为:
每次找到最关键环c后,按照下式:
即根据路径时延的标准偏差按比例分配每条边的安全余量;
步骤4:将关键环压缩成一个超点,更新相应边的权重的值;每当将关键环压缩成一个超点时,要将关键环中的点和压缩得到的超点的关系插入到关系树中;
步骤5:重复步骤2到步骤4,直到图中只剩下一个超点或者图的边的条数为0;
步骤6:遍历关系树,计算代表触发器的所有叶节点的真实的时钟到达时间。根据每个触发器的时钟到达时间,按(1)式得到时序相邻的触发器的时钟偏差。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 200710039658 CN101038602A (zh) | 2007-04-19 | 2007-04-19 | 一种工艺参数变化下成品率驱动的时钟偏差安排方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN 200710039658 CN101038602A (zh) | 2007-04-19 | 2007-04-19 | 一种工艺参数变化下成品率驱动的时钟偏差安排方法 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN101038602A true CN101038602A (zh) | 2007-09-19 |
Family
ID=38889500
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN 200710039658 Pending CN101038602A (zh) | 2007-04-19 | 2007-04-19 | 一种工艺参数变化下成品率驱动的时钟偏差安排方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101038602A (zh) |
Cited By (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101877018A (zh) * | 2009-04-30 | 2010-11-03 | 新思科技有限公司 | 多功率域的静态时序分析 |
CN102508149A (zh) * | 2011-11-04 | 2012-06-20 | 中兴通讯股份有限公司 | 一种器件时序参数确定方法和装置 |
CN103513208A (zh) * | 2012-06-29 | 2014-01-15 | 中国船舶重工集团公司第七0九研究所 | 一种皮秒级集成电路测试系统总定时偏差校准的误差补偿方法 |
CN104978448A (zh) * | 2014-04-14 | 2015-10-14 | 复旦大学 | 基于伯努利分布的贝叶斯模型混合预测电路成品率方法 |
CN105553448A (zh) * | 2014-10-27 | 2016-05-04 | 三星电子株式会社 | 调节时钟偏斜的方法、系统和设备 |
CN106156437A (zh) * | 2016-07-14 | 2016-11-23 | 成都易为信息技术有限公司 | 通过关联约束多轴仿真图形实现自动推算产品的结构数据 |
CN108073771A (zh) * | 2017-12-25 | 2018-05-25 | 中国电子科技集团公司第四十七研究所 | Fpga静态时序分析算法 |
CN108809764A (zh) * | 2018-06-15 | 2018-11-13 | 东南大学 | 滑动窗口下基于gpu的网络访问超点连接数估算方法 |
CN109388839A (zh) * | 2017-08-14 | 2019-02-26 | 龙芯中科技术有限公司 | 时钟系统性能分析方法及装置 |
CN110825375A (zh) * | 2019-10-12 | 2020-02-21 | 合肥本源量子计算科技有限责任公司 | 一种量子程序的转化方法、装置、存储介质和电子装置 |
-
2007
- 2007-04-19 CN CN 200710039658 patent/CN101038602A/zh active Pending
Cited By (18)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN101877018B (zh) * | 2009-04-30 | 2014-09-10 | 新思科技有限公司 | 多功率域的静态时序分析 |
CN101877018A (zh) * | 2009-04-30 | 2010-11-03 | 新思科技有限公司 | 多功率域的静态时序分析 |
CN102508149A (zh) * | 2011-11-04 | 2012-06-20 | 中兴通讯股份有限公司 | 一种器件时序参数确定方法和装置 |
CN103513208A (zh) * | 2012-06-29 | 2014-01-15 | 中国船舶重工集团公司第七0九研究所 | 一种皮秒级集成电路测试系统总定时偏差校准的误差补偿方法 |
CN103513208B (zh) * | 2012-06-29 | 2016-06-29 | 中国船舶重工集团公司第七0九研究所 | 一种皮秒级集成电路测试系统总定时偏差校准的误差补偿方法 |
CN104978448B (zh) * | 2014-04-14 | 2018-10-26 | 复旦大学 | 基于伯努利分布的贝叶斯模型混合预测电路成品率方法 |
CN104978448A (zh) * | 2014-04-14 | 2015-10-14 | 复旦大学 | 基于伯努利分布的贝叶斯模型混合预测电路成品率方法 |
CN105553448A (zh) * | 2014-10-27 | 2016-05-04 | 三星电子株式会社 | 调节时钟偏斜的方法、系统和设备 |
CN105553448B (zh) * | 2014-10-27 | 2020-09-22 | 三星电子株式会社 | 调节时钟偏斜的方法、系统和设备 |
CN106156437B (zh) * | 2016-07-14 | 2019-09-03 | 四川拼趣科技有限公司 | 通过关联约束多轴仿真图形实现自动推算产品的结构数据 |
CN106156437A (zh) * | 2016-07-14 | 2016-11-23 | 成都易为信息技术有限公司 | 通过关联约束多轴仿真图形实现自动推算产品的结构数据 |
CN109388839A (zh) * | 2017-08-14 | 2019-02-26 | 龙芯中科技术有限公司 | 时钟系统性能分析方法及装置 |
CN109388839B (zh) * | 2017-08-14 | 2023-05-30 | 龙芯中科技术股份有限公司 | 时钟系统性能分析方法及装置 |
CN108073771A (zh) * | 2017-12-25 | 2018-05-25 | 中国电子科技集团公司第四十七研究所 | Fpga静态时序分析算法 |
CN108073771B (zh) * | 2017-12-25 | 2022-01-04 | 中国电子科技集团公司第四十七研究所 | Fpga静态时序分析方法 |
CN108809764A (zh) * | 2018-06-15 | 2018-11-13 | 东南大学 | 滑动窗口下基于gpu的网络访问超点连接数估算方法 |
CN108809764B (zh) * | 2018-06-15 | 2021-11-02 | 东南大学 | 滑动窗口下基于gpu的网络访问超点连接数估算方法 |
CN110825375A (zh) * | 2019-10-12 | 2020-02-21 | 合肥本源量子计算科技有限责任公司 | 一种量子程序的转化方法、装置、存储介质和电子装置 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN101038602A (zh) | 一种工艺参数变化下成品率驱动的时钟偏差安排方法 | |
CN108830008B (zh) | 一种标准单元库全模型的测试方法及测试系统 | |
CN1633658A (zh) | 集成电路芯片设计 | |
CN1881224A (zh) | 估计电路时钟树的抖动并合成抖动意识和偏差意识时钟树 | |
US9881123B1 (en) | Method and system for timing analysis with adaptive timing window optimization for determining signal integrity impact | |
US20130339914A1 (en) | Technology mapping for threshold and logic gate hybrid circuits | |
Xiong et al. | Criticality computation in parameterized statistical timing | |
CN1900937A (zh) | 估计形式验证问题的难度级 | |
US20200279068A1 (en) | Method and system for sigma-based timing optimization | |
CN1510737A (zh) | 模拟和射频集成电路的物理设计方法 | |
US11790142B2 (en) | Flexible modeling method for timing constraint of register | |
US8813006B1 (en) | Accelerated characterization of circuits for within-die process variations | |
CN111046624A (zh) | 芯片模块接口时钟结构的构建方法、装置、设备及介质 | |
Rao et al. | A detailed characterization of errors in logic circuits due to single-event transients | |
CN1510733A (zh) | 面向工艺移植的晶体管级集成电路优化方法 | |
Chen et al. | Skew-aware polarity assignment in clock tree | |
CN1275177C (zh) | 基于可满足性的组合电路等价性检验方法 | |
CN102436525B (zh) | 一种集成电路设计过程中多节点并行自动修复保持时间违例的方法 | |
CN110457839B (zh) | 一种加速芯片级电路时序分析方法 | |
US20200410152A1 (en) | System and method of timing characterization for semiconductor circuit | |
US11853714B2 (en) | Optimal metastability-containing sorting via parallel prefix computation | |
CN113919256A (zh) | 一种布尔可满足性验证方法、系统、cnf生成方法及存储装置 | |
Karmarkar et al. | On-chip codeword generation to cope with crosstalk | |
CN1125989C (zh) | 电路时延测试方法 | |
US10242150B1 (en) | Circuit design implementation using control-set based merging and module-based replication |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
WD01 | Invention patent application deemed withdrawn after publication |