首页 > 最新文献

1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)最新文献

英文 中文
Implicit enumeration of strongly connected components 强连接组件的隐式枚举
A. Xie, P. Beerel
This paper presents a binary decision diagram (BDD) based implicit algorithm to compute all maximal strongly connected components (SCCs) of directed graphs. The algorithm iteratively applies reachability analysis and sequentially identifies SCCs. Experiments suggest that the algorithm dramatically outperforms the only existing implicit method which must compute the transitive closure of the adjacency matrix of the graphs.
提出了一种基于二元决策图的有向图所有极大强连通分量的隐式计算算法。该算法迭代地应用可达性分析,依次识别scc。实验表明,该算法显著优于现有的隐式方法,隐式方法必须计算图的邻接矩阵的传递闭包。
{"title":"Implicit enumeration of strongly connected components","authors":"A. Xie, P. Beerel","doi":"10.1109/ICCAD.1999.810617","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810617","url":null,"abstract":"This paper presents a binary decision diagram (BDD) based implicit algorithm to compute all maximal strongly connected components (SCCs) of directed graphs. The algorithm iteratively applies reachability analysis and sequentially identifies SCCs. Experiments suggest that the algorithm dramatically outperforms the only existing implicit method which must compute the transitive closure of the adjacency matrix of the graphs.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"14 1","pages":"37-40"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74177785","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
RLC interconnect delay estimation via moments of amplitude and phase response 基于幅值和相位响应矩的RLC互连延迟估计
Xiaodong Yang, W. Ku, Chung-Kuan Cheng
A new category of moments-Amplitude and Phase moments (AP moments) are introduced for RLC interconnect delay estimation. We show that there are tight relationships between AP moments, circuit moments and central moments. The first order AP moment represents the Elmore delay while the higher order AP moments can be used to represent the error between the Elmore delay and the exact 50% delay from the view of gain and phase-shift variation. With the help of the physical meaning revealed by the AP moments, a closed-form 50% delay model-AP delay model is proposed for RLC interconnect delay estimation in terms of the first four AP moments. We also propose a new two-pole model (AP two-pole model) by matching the first two phase moments of the transfer function. The AP two-pole model can be used for more generally timing parameters estimation. The input signal's impact on delay estimation can be incorporated into these two delay models by simply combining the input signal's AP moments with the transfer function's AP moments. In our experiments these two models show significant accuracy improvement over the Elmore delay model.
引入了一种新的矩类——幅相矩(AP矩)用于RLC互连时延估计。我们证明了AP矩、回路矩和中心矩之间存在紧密的关系。一阶AP矩表示Elmore延迟,而高阶AP矩可以用来表示从增益和相移变化的角度来看,Elmore延迟与确切的50%延迟之间的误差。利用AP矩所揭示的物理意义,提出了一种封闭形式的50%延迟模型——基于前四个AP矩的RLC互连延迟估计AP延迟模型。我们还通过匹配传递函数的前两个相位矩提出了一个新的两极模型(AP两极模型)。AP两极模型可用于更一般的定时参数估计。通过简单地将输入信号的AP矩与传递函数的AP矩结合,可以将输入信号对延迟估计的影响纳入这两种延迟模型。在我们的实验中,这两种模型比Elmore延迟模型的精度有了显著的提高。
{"title":"RLC interconnect delay estimation via moments of amplitude and phase response","authors":"Xiaodong Yang, W. Ku, Chung-Kuan Cheng","doi":"10.1109/ICCAD.1999.810651","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810651","url":null,"abstract":"A new category of moments-Amplitude and Phase moments (AP moments) are introduced for RLC interconnect delay estimation. We show that there are tight relationships between AP moments, circuit moments and central moments. The first order AP moment represents the Elmore delay while the higher order AP moments can be used to represent the error between the Elmore delay and the exact 50% delay from the view of gain and phase-shift variation. With the help of the physical meaning revealed by the AP moments, a closed-form 50% delay model-AP delay model is proposed for RLC interconnect delay estimation in terms of the first four AP moments. We also propose a new two-pole model (AP two-pole model) by matching the first two phase moments of the transfer function. The AP two-pole model can be used for more generally timing parameters estimation. The input signal's impact on delay estimation can be incorporated into these two delay models by simply combining the input signal's AP moments with the transfer function's AP moments. In our experiments these two models show significant accuracy improvement over the Elmore delay model.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"90 1","pages":"208-213"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77904241","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Interconnect scaling implications for CAD 互连缩放对CAD的影响
R. Ho, K. Mai, H. Kapadia, M. Horowitz
Interconnect scaling to deep submicron processes presents many challenges to today's CAD flows. A recent analysis by D. Sylvester and K. Keutzer (1998) examined the behavior of average length wires under scaling, and controversially concluded that current CAD tools are adequate for future module-level designs. We show that average length wire scaling is sensitive to the technology assumptions, although the change in their behavior is small under all reasonable scaling assumptions. However, examining only average length wires is optimistic, since long wires are the ones that primarily cause CAD tool exceptions. In a module of fixed complexity, under both optimistic and pessimistic scaling assumptions, the number of long wires will increase slowly with scaling. More importantly, as the overall die capacity grows exponentially, the number of modules and thus the total number of wires in a design will also increase exponentially. Thus, if the design team size and per-designer workload is to remain relatively constant, future CAD tools will need to handle long wires much better than current tools to reduce the percentage of wires that require designer intervention.
互连扩展到深亚微米工艺对当今的CAD流程提出了许多挑战。D. Sylvester和K. Keutzer(1998)最近的一项分析检查了平均长度导线在缩放下的行为,并得出了有争议的结论,即当前的CAD工具足以用于未来的模块级设计。我们发现平均长度导线的缩放对技术假设很敏感,尽管在所有合理的缩放假设下它们的行为变化很小。然而,只检查平均长度的电线是乐观的,因为长电线是导致CAD工具异常的主要原因。在一个固定复杂度的模块中,在乐观和悲观的扩展假设下,长导线的数量都会随着扩展而缓慢增加。更重要的是,随着整体模具容量呈指数级增长,设计中的模块数量和电线总数也将呈指数级增长。因此,如果设计团队的规模和每个设计人员的工作量保持相对恒定,未来的CAD工具将需要比当前的工具更好地处理长电线,以减少需要设计人员干预的电线的百分比。
{"title":"Interconnect scaling implications for CAD","authors":"R. Ho, K. Mai, H. Kapadia, M. Horowitz","doi":"10.1109/ICCAD.1999.810688","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810688","url":null,"abstract":"Interconnect scaling to deep submicron processes presents many challenges to today's CAD flows. A recent analysis by D. Sylvester and K. Keutzer (1998) examined the behavior of average length wires under scaling, and controversially concluded that current CAD tools are adequate for future module-level designs. We show that average length wire scaling is sensitive to the technology assumptions, although the change in their behavior is small under all reasonable scaling assumptions. However, examining only average length wires is optimistic, since long wires are the ones that primarily cause CAD tool exceptions. In a module of fixed complexity, under both optimistic and pessimistic scaling assumptions, the number of long wires will increase slowly with scaling. More importantly, as the overall die capacity grows exponentially, the number of modules and thus the total number of wires in a design will also increase exponentially. Thus, if the design team size and per-designer workload is to remain relatively constant, future CAD tools will need to handle long wires much better than current tools to reduce the percentage of wires that require designer intervention.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"22 1","pages":"425-429"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80266601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
Lazy group sifting for efficient symbolic state traversal of FSMs fsm的高效符号状态遍历懒群筛选
H. Higuchi, F. Somenzi
Proposes lazy group sifting for dynamic variable reordering during state traversal of finite state machines (FSMs). The proposed method relaxes the idea of pairwise grouping of the present state variables and their corresponding next state variables. This is done to produce better variable orderings during image computation without causing BDD (binary decision diagram) size blowup in the substitution of next state variables with present state variables at the end of image computation. Experimental results show that our approach is more robust in state traversal than the approaches that either unconditionally group variable pairs or never group them.
针对有限状态机(FSMs)状态遍历过程中动态变量重排序问题,提出了惰性群筛选方法。该方法放宽了当前状态变量和对应的下一个状态变量的成对分组的思想。这样做是为了在图像计算期间产生更好的变量排序,而不会在图像计算结束时用当前状态变量替换下一个状态变量时导致BDD(二进制决策图)大小爆炸。实验结果表明,该方法在状态遍历方面比无条件分组和不分组的方法具有更强的鲁棒性。
{"title":"Lazy group sifting for efficient symbolic state traversal of FSMs","authors":"H. Higuchi, F. Somenzi","doi":"10.1109/ICCAD.1999.810619","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810619","url":null,"abstract":"Proposes lazy group sifting for dynamic variable reordering during state traversal of finite state machines (FSMs). The proposed method relaxes the idea of pairwise grouping of the present state variables and their corresponding next state variables. This is done to produce better variable orderings during image computation without causing BDD (binary decision diagram) size blowup in the substitution of next state variables with present state variables at the end of image computation. Experimental results show that our approach is more robust in state traversal than the approaches that either unconditionally group variable pairs or never group them.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"11 1","pages":"45-49"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79518243","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
A wide frequency range surface integral formulation for 3-D RLC extraction 三维RLC提取的宽频率范围曲面积分公式
Junfeng Wang, J. Tausch, Jacob K. White
A new surface integral formulation and discretization approach for computing electromagnetoquasistatic impedance of general conductors is described. The key advantages of the formulation is that it avoids volume discretization of the conductors and the substrate, and a single discretization is accurate over the entire frequency range. Computational results from an on-chip inductor, a connector and a transmission line are used to show that the formulation is accurate and is "acceleration" ready. That is, the results demonstrate that an efficiently computed preconditioner insures rapid iterative method convergence and tests with projection show the required kernels can be approximated easily using a coarse grid.
提出了一种新的计算一般导体电磁准静态阻抗的曲面积分公式和离散化方法。该配方的主要优点是它避免了导体和衬底的体积离散化,并且在整个频率范围内,单个离散化是精确的。用片上电感器、连接器和传输线的计算结果表明,该公式是准确的,并且可以“加速”。结果表明,有效计算的预条件保证了迭代方法的快速收敛,投影测试表明,使用粗网格可以很容易地逼近所需的核。
{"title":"A wide frequency range surface integral formulation for 3-D RLC extraction","authors":"Junfeng Wang, J. Tausch, Jacob K. White","doi":"10.5555/339492.340057","DOIUrl":"https://doi.org/10.5555/339492.340057","url":null,"abstract":"A new surface integral formulation and discretization approach for computing electromagnetoquasistatic impedance of general conductors is described. The key advantages of the formulation is that it avoids volume discretization of the conductors and the substrate, and a single discretization is accurate over the entire frequency range. Computational results from an on-chip inductor, a connector and a transmission line are used to show that the formulation is accurate and is \"acceleration\" ready. That is, the results demonstrate that an efficiently computed preconditioner insures rapid iterative method convergence and tests with projection show the required kernels can be approximated easily using a coarse grid.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"14 1","pages":"453-457"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87787336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 28
Noise analysis of non-autonomous radio frequency circuits 非自主射频电路的噪声分析
A. Mehrotra, A. Sangiovanni-Vincentelli
Considers the important problem of noise analysis of non-autonomous nonlinear RF circuits in the presence of input signal phase noise. We formulate this problem as a stochastic differential equation and solve it in the presence of circuit white-noise sources. We show that the output noise of a nonlinear non-autonomous circuit, driven by a periodic input signal with phase noise, is stationary-not cyclostationary (as would be predicted by traditional analyses). We also show that effect of the input signal phase noise is to act as additional white noise source. This result is derived using a full nonlinear analysis of the problem and cannot be predicted by traditional linear analysis-based techniques. Input signal phase noise can be an important portion of the overall output noise of the non-autonomous circuit. In our opinion, existing analyses have not considered this effect in a rigorous manner. We also relate this solution to results of the existing nonlinear time-domain and frequency-domain methods of noise analysis and point out the modifications required for the present techniques. We illustrate our technique using an example.
研究了存在输入信号相位噪声的非自治非线性射频电路的噪声分析问题。我们将此问题化为随机微分方程,并在存在电路白噪声源的情况下求解。我们表明,由带有相位噪声的周期性输入信号驱动的非线性非自治电路的输出噪声是平稳的,而不是循环平稳的(正如传统分析所预测的那样)。我们还表明,输入信号相位噪声的影响是作为额外的白噪声源。这个结果是通过对问题的完全非线性分析得出的,不能用传统的基于线性分析的技术来预测。输入信号相位噪声是非自治电路总体输出噪声的重要组成部分。我们认为,现有的分析并没有严格地考虑到这种影响。我们还将此解与现有的非线性时域和频域噪声分析方法的结果联系起来,并指出了当前技术需要改进的地方。我们用一个例子来说明我们的技术。
{"title":"Noise analysis of non-autonomous radio frequency circuits","authors":"A. Mehrotra, A. Sangiovanni-Vincentelli","doi":"10.1109/ICCAD.1999.810621","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810621","url":null,"abstract":"Considers the important problem of noise analysis of non-autonomous nonlinear RF circuits in the presence of input signal phase noise. We formulate this problem as a stochastic differential equation and solve it in the presence of circuit white-noise sources. We show that the output noise of a nonlinear non-autonomous circuit, driven by a periodic input signal with phase noise, is stationary-not cyclostationary (as would be predicted by traditional analyses). We also show that effect of the input signal phase noise is to act as additional white noise source. This result is derived using a full nonlinear analysis of the problem and cannot be predicted by traditional linear analysis-based techniques. Input signal phase noise can be an important portion of the overall output noise of the non-autonomous circuit. In our opinion, existing analyses have not considered this effect in a rigorous manner. We also relate this solution to results of the existing nonlinear time-domain and frequency-domain methods of noise analysis and point out the modifications required for the present techniques. We illustrate our technique using an example.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"27 1","pages":"55-60"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79091971","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Performance optimization using separator sets 使用分隔符集进行性能优化
Y. Tamiya
In this paper, we propose a new method to optimize a performance of a very large circuit. We find the best set of local transformations to be applied to the circuit, by inserting "padding nodes" on noncritical edges of the circuit, and calculating separator sets of the circuit using separator sets. Our method is robust for very large circuits, because its memory usage and calculation time are linear and polynomial order with the size of the circuit. According to our experimental results, our method has accomplished all circuits, while Singh's (1992) selection function method has aborted with three large circuits because of memory overflow. The results also shows our method has a comparable capability in delay optimization to Singh's method.
在本文中,我们提出了一种优化超大电路性能的新方法。通过在电路的非关键边缘插入“填充节点”,并使用分隔集计算电路的分隔集,我们找到了应用于电路的最佳局部变换集。我们的方法对于非常大的电路具有鲁棒性,因为它的内存使用量和计算时间与电路的大小呈线性和多项式阶关系。根据我们的实验结果,我们的方法完成了所有电路,而Singh(1992)的选择函数方法由于内存溢出而在三个大电路中失败。结果还表明,该方法具有与Singh方法相当的延迟优化能力。
{"title":"Performance optimization using separator sets","authors":"Y. Tamiya","doi":"10.1109/ICCAD.1999.810647","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810647","url":null,"abstract":"In this paper, we propose a new method to optimize a performance of a very large circuit. We find the best set of local transformations to be applied to the circuit, by inserting \"padding nodes\" on noncritical edges of the circuit, and calculating separator sets of the circuit using separator sets. Our method is robust for very large circuits, because its memory usage and calculation time are linear and polynomial order with the size of the circuit. According to our experimental results, our method has accomplished all circuits, while Singh's (1992) selection function method has aborted with three large circuits because of memory overflow. The results also shows our method has a comparable capability in delay optimization to Singh's method.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"20 1","pages":"191-194"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72795080","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Validation and test generation for oscillatory noise in VLSI interconnects VLSI互连中振荡噪声的验证与测试生成
Arani Sinha, S. Gupta, M. Breuer
Inductance of on-chip interconnects gives rise to signal overshoots and undershoots that can cause logic errors. By considering technology trends, we show that in 0.13 /spl mu/m technology such noise in local interconnects embedded in combinational logic can exceed the threshold voltage. We show the impact of such noise on different kinds of circuits. The magnitude of this noise can increase due to process variations. We present an algorithm for generating vectors for validation and manufacturing test to detect logic-value errors caused by inductance induced oscillation. To facilitate the vector generation method, we have derived analytical expressions, as functions of rise and fall times for (i) the magnitude of overshoots and undershoots, and (ii) the settling time, i.e., the time required for the circuit response to settle to a bound close to the final value.
片上互连的电感会引起信号过调和过调,从而导致逻辑错误。通过考虑技术趋势,我们发现在0.13 /spl mu/m技术中,嵌入组合逻辑的局部互连中的噪声可以超过阈值电压。我们展示了这种噪声对不同类型电路的影响。由于工艺变化,噪声的大小会增加。我们提出了一种用于验证和制造测试的矢量生成算法,以检测由电感诱导振荡引起的逻辑值误差。为了方便矢量生成方法,我们推导了解析表达式,作为(i)过冲和欠冲幅度的上升和下降时间的函数,以及(ii)稳定时间,即电路响应沉降到接近最终值的界限所需的时间。
{"title":"Validation and test generation for oscillatory noise in VLSI interconnects","authors":"Arani Sinha, S. Gupta, M. Breuer","doi":"10.1109/ICCAD.1999.810664","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810664","url":null,"abstract":"Inductance of on-chip interconnects gives rise to signal overshoots and undershoots that can cause logic errors. By considering technology trends, we show that in 0.13 /spl mu/m technology such noise in local interconnects embedded in combinational logic can exceed the threshold voltage. We show the impact of such noise on different kinds of circuits. The magnitude of this noise can increase due to process variations. We present an algorithm for generating vectors for validation and manufacturing test to detect logic-value errors caused by inductance induced oscillation. To facilitate the vector generation method, we have derived analytical expressions, as functions of rise and fall times for (i) the magnitude of overshoots and undershoots, and (ii) the settling time, i.e., the time required for the circuit response to settle to a bound close to the final value.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"36 1","pages":"289-296"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79248472","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Efficient incremental rerouting for fault reconfiguration in field programmable gate arrays 现场可编程门阵列故障重构的有效增量重路由
S. Dutt, V. Shanmugavel, S. Trimberger
The ability to reconfigure around manufacturing defects and operational faults increases FPGA chip yield, reduces system downtime and maintenance in field operation, and increases reliabilities of mission- and life-critical systems. The fault reconfiguration technique discussed in this work uses the principle of node covering in which reconfiguration is achieved by constructing replacement chains of cells from faulty cells to spare/unused ones. A key issue in such reconfiguration is efficient incremental rerouting in the FPGA. Previous methods for node-covering based reconfiguration are "static" in the sense that extra interconnects are added a-priori as part of the initial circuit routing so that a specific fault pattern (e.g. one fault per row) can be tolerated. This, however, results in worst-case track overheads and also in an inflexibility to tolerate other realistic fault patterns. We develop dynamic reconfiguration and incremental rerouting techniques that are fault specific. In this approach, the FPGA is initially routed without any extra interconnects for reconfiguration. When faults occur the routed nets have to be minimally perturbed to allow these interconnects to be inserted "on-the-fly" for reconfiguration. These requirements are addressed in our minimally incremental rerouting technique Conv-T-DAG, which uses a cost-directed depth-first search strategy. We prove several results that establishes the near-optimality of Conv-T-DAG in terms of track overhead. To the best of our knowledge this is the first time that an incremental rerouting technique has been developed for FPGAs. For several benchmark circuits, the static approach to tolerating one fault per row resulted in a 43% to 34% track overhead. Using the dynamic reconfiguration approach and Conv-T-DAG results in an average overhead of only 16%-an improvement of more than 50%. Over all circuits, the reconfiguration time per fault ranges from 16.8 to 72.9 secs. Simulation of smaller fault sets of one to four faults show very small track overheads ranging from 1.75% to 4.49%. Conv-T-DAG can also be used for interconnect fault tolerance.
围绕制造缺陷和操作故障进行重新配置的能力提高了FPGA芯片产量,减少了现场操作中的系统停机时间和维护,并提高了任务和生命关键系统的可靠性。本文讨论的故障重构技术使用节点覆盖原理,通过构建从故障单元到备用/未使用单元的替换单元链来实现重构。这种重新配置的一个关键问题是FPGA中有效的增量重路由。以前基于节点覆盖的重构方法是“静态的”,因为额外的互连是先验地作为初始电路路由的一部分添加的,因此可以容忍特定的故障模式(例如每行一个故障)。然而,这将导致最坏情况下的跟踪开销,并且无法灵活地容忍其他实际的故障模式。我们开发了针对特定故障的动态重新配置和增量重新路由技术。在这种方法中,FPGA最初的路由没有任何额外的互连来重新配置。当故障发生时,路由网必须将干扰降到最低,以使这些互连能够“即时”插入以重新配置。我们的最小增量重路由技术convt - dag解决了这些需求,该技术使用成本导向的深度优先搜索策略。我们证明了在轨道开销方面建立了convt - dag的近最优性的几个结果。据我们所知,这是第一次为fpga开发增量重路由技术。对于几个基准电路,允许每行出现一个故障的静态方法会导致43%到34%的轨道开销。使用动态重新配置方法和convt - dag,平均开销仅为16%,提高了50%以上。在所有电路中,每个故障的重新配置时间范围为16.8到72.9秒。对一个到四个故障的较小故障集的模拟显示,轨道开销非常小,范围在1.75%到4.49%之间。convt - dag也可用于互连容错。
{"title":"Efficient incremental rerouting for fault reconfiguration in field programmable gate arrays","authors":"S. Dutt, V. Shanmugavel, S. Trimberger","doi":"10.1109/ICCAD.1999.810644","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810644","url":null,"abstract":"The ability to reconfigure around manufacturing defects and operational faults increases FPGA chip yield, reduces system downtime and maintenance in field operation, and increases reliabilities of mission- and life-critical systems. The fault reconfiguration technique discussed in this work uses the principle of node covering in which reconfiguration is achieved by constructing replacement chains of cells from faulty cells to spare/unused ones. A key issue in such reconfiguration is efficient incremental rerouting in the FPGA. Previous methods for node-covering based reconfiguration are \"static\" in the sense that extra interconnects are added a-priori as part of the initial circuit routing so that a specific fault pattern (e.g. one fault per row) can be tolerated. This, however, results in worst-case track overheads and also in an inflexibility to tolerate other realistic fault patterns. We develop dynamic reconfiguration and incremental rerouting techniques that are fault specific. In this approach, the FPGA is initially routed without any extra interconnects for reconfiguration. When faults occur the routed nets have to be minimally perturbed to allow these interconnects to be inserted \"on-the-fly\" for reconfiguration. These requirements are addressed in our minimally incremental rerouting technique Conv-T-DAG, which uses a cost-directed depth-first search strategy. We prove several results that establishes the near-optimality of Conv-T-DAG in terms of track overhead. To the best of our knowledge this is the first time that an incremental rerouting technique has been developed for FPGAs. For several benchmark circuits, the static approach to tolerating one fault per row resulted in a 43% to 34% track overhead. Using the dynamic reconfiguration approach and Conv-T-DAG results in an average overhead of only 16%-an improvement of more than 50%. Over all circuits, the reconfiguration time per fault ranges from 16.8 to 72.9 secs. Simulation of smaller fault sets of one to four faults show very small track overheads ranging from 1.75% to 4.49%. Conv-T-DAG can also be used for interconnect fault tolerance.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"69 1","pages":"173-176"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85100416","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 42
Optimal P/N width ratio selection for standard cell libraries 标准细胞库的最佳P/N宽度比选择
David S. Kung, R. Puri
The effectiveness of logic synthesis to satisfy increasingly tight timing constraints in deep-submicron high-performance circuits heavily depends on the range and variety of logic gates available in the standard cell library. Primarily, research in the design of high-performance standard cell libraries has been focused on drive strength selection of various logic gates. Since CMOS logic circuit delays not only depend on the drive strength of each gate but also on its PM width ratio, it is crucial to provide good PM width ratios for each cell. The main contribution of this paper is the development of a theoretical framework through which library designers can determine "optimal" PM width ratio for each logic gate in their high-performance standard cell library. This theoretical framework utilizes new gate delay models that explicitly represent the dependence of delay on P/N width ratio and load. These delay models yield highly accurate delay for CMOS gates in a 0.12 /spl mu/m L/sub eff/ deep-submicron technology.
在深亚微米高性能电路中,为了满足日益严格的时序限制,逻辑合成的有效性在很大程度上取决于标准单元库中可用逻辑门的范围和种类。高性能标准单元库的设计研究主要集中在各种逻辑门的驱动强度选择上。由于CMOS逻辑电路延迟不仅取决于每个栅极的驱动强度,而且取决于其PM宽度比,因此为每个单元提供良好的PM宽度比至关重要。本文的主要贡献是开发了一个理论框架,通过该框架,库设计者可以确定其高性能标准单元库中每个逻辑门的“最佳”PM宽度比。该理论框架利用新的门延迟模型,明确表示延迟对P/N宽度比和负载的依赖。这些延迟模型为CMOS门提供了0.12 /spl mu/m L/sub /深亚微米技术的高精度延迟。
{"title":"Optimal P/N width ratio selection for standard cell libraries","authors":"David S. Kung, R. Puri","doi":"10.1109/ICCAD.1999.810645","DOIUrl":"https://doi.org/10.1109/ICCAD.1999.810645","url":null,"abstract":"The effectiveness of logic synthesis to satisfy increasingly tight timing constraints in deep-submicron high-performance circuits heavily depends on the range and variety of logic gates available in the standard cell library. Primarily, research in the design of high-performance standard cell libraries has been focused on drive strength selection of various logic gates. Since CMOS logic circuit delays not only depend on the drive strength of each gate but also on its PM width ratio, it is crucial to provide good PM width ratios for each cell. The main contribution of this paper is the development of a theoretical framework through which library designers can determine \"optimal\" PM width ratio for each logic gate in their high-performance standard cell library. This theoretical framework utilizes new gate delay models that explicitly represent the dependence of delay on P/N width ratio and load. These delay models yield highly accurate delay for CMOS gates in a 0.12 /spl mu/m L/sub eff/ deep-submicron technology.","PeriodicalId":6414,"journal":{"name":"1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)","volume":"50 1","pages":"178-184"},"PeriodicalIF":0.0,"publicationDate":"1999-11-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81774037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
期刊
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1