首页 > 最新文献

Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)最新文献

英文 中文
Performance trade-off analysis of analog circuits by normal-boundary intersection 基于正交边界交叉的模拟电路性能权衡分析
Pub Date : 2003-06-02 DOI: 10.1145/775832.776073
G. Stehr, H. Graeb, K. Antreich
We present a new technique to examine the trade-off regions of a circuit where its competing performances become "simultaneously optimal", i.e. Pareto optimal. It is based on circuit simulation, sizing rules, which capture elementary topological and technological constraints, and an advanced multicriteria optimization formulation called normal-boundary intersection. We are able to efficiently calculate a well-balanced discretization of a Pareto surface, identify the active constraints, which prevent a further improvement, and even rank these constraints in terms of stringency. Experimental results demonstrate the efficacy and efficiency of the method and its potential for topology selection and analog synthesis.
我们提出了一种新的技术来检验电路的权衡区域,其中其竞争性能成为“同时最优”,即帕累托最优。它是基于电路仿真,尺寸规则,捕获基本的拓扑和技术约束,和一个先进的多准则优化公式称为法向边界交集。我们能够有效地计算Pareto曲面的良好平衡离散化,识别阻止进一步改进的活动约束,甚至根据严格程度对这些约束进行排序。实验结果证明了该方法的有效性和效率,以及它在拓扑选择和模拟合成方面的潜力。
{"title":"Performance trade-off analysis of analog circuits by normal-boundary intersection","authors":"G. Stehr, H. Graeb, K. Antreich","doi":"10.1145/775832.776073","DOIUrl":"https://doi.org/10.1145/775832.776073","url":null,"abstract":"We present a new technique to examine the trade-off regions of a circuit where its competing performances become \"simultaneously optimal\", i.e. Pareto optimal. It is based on circuit simulation, sizing rules, which capture elementary topological and technological constraints, and an advanced multicriteria optimization formulation called normal-boundary intersection. We are able to efficiently calculate a well-balanced discretization of a Pareto surface, identify the active constraints, which prevent a further improvement, and even rank these constraints in terms of stringency. Experimental results demonstrate the efficacy and efficiency of the method and its potential for topology selection and analog synthesis.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130489645","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}
引用次数: 62
Characterizing the effects of clock jitter due to substrate noise in discrete-time /spl Delta///spl Sigma/ modulators 在离散时间/spl Delta///spl Sigma/调制器中表征由衬底噪声引起的时钟抖动的影响
Pub Date : 2003-06-02 DOI: 10.1109/DAC.2003.1219064
P. Heydari
This paper investigates the impact of clock jitter induced by substrate noise on the performance of the oversampling /spl Delta//spl Sigma/ modulators. First, a new stochastic model for substrate noise is proposed. This model is then utilized to study the clock jitter in clock generators incorporating phase-locked loops (PLLs). Next, the effect of the clock jitter on the performance of the /spl Delta//spl Sigma/ modulator is studied. It will be shown that substrate noise degrades the signal-to-noise ratio of the /spl Delta//spl Sigma/ modulator while the noise shaping does not have any effect on clock jitter induced by substrate noise. To verify the analysis experimentally, a circuit consisting of a second-order /spl Delta//spl Sigma/ modulator, a charge-pump PLL, and forty multistage digital tapered inverters driving 1pF capacitors is designed in a 0.25/spl mu/m standard CMOS process. Several experiments on the designed circuit demonstrate the high accuracy of the proposed analytical models.
本文研究了衬底噪声引起的时钟抖动对过采样/spl Delta//spl Sigma调制器性能的影响。首先,提出了一种新的衬底噪声随机模型。然后利用该模型研究了锁相环时钟发生器中的时钟抖动。接着,研究了时钟抖动对/spl Delta//spl Sigma/调制器性能的影响。结果表明,衬底噪声降低了/spl Delta//spl Sigma/调制器的信噪比,而噪声整形对衬底噪声引起的时钟抖动没有任何影响。为了验证分析结果,在0.25/spl mu/m标准CMOS工艺下,设计了一个由二阶/spl Delta//spl Sigma/调制器、电荷泵锁相环和40个多级数字变径逆变器驱动1pF电容器组成的电路。在设计的电路上进行的实验表明,所提出的分析模型具有较高的精度。
{"title":"Characterizing the effects of clock jitter due to substrate noise in discrete-time /spl Delta///spl Sigma/ modulators","authors":"P. Heydari","doi":"10.1109/DAC.2003.1219064","DOIUrl":"https://doi.org/10.1109/DAC.2003.1219064","url":null,"abstract":"This paper investigates the impact of clock jitter induced by substrate noise on the performance of the oversampling /spl Delta//spl Sigma/ modulators. First, a new stochastic model for substrate noise is proposed. This model is then utilized to study the clock jitter in clock generators incorporating phase-locked loops (PLLs). Next, the effect of the clock jitter on the performance of the /spl Delta//spl Sigma/ modulator is studied. It will be shown that substrate noise degrades the signal-to-noise ratio of the /spl Delta//spl Sigma/ modulator while the noise shaping does not have any effect on clock jitter induced by substrate noise. To verify the analysis experimentally, a circuit consisting of a second-order /spl Delta//spl Sigma/ modulator, a charge-pump PLL, and forty multistage digital tapered inverters driving 1pF capacitors is designed in a 0.25/spl mu/m standard CMOS process. Several experiments on the designed circuit demonstrate the high accuracy of the proposed analytical models.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128453410","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}
引用次数: 2
Enhancing diagnosis resolution for delay defects based upon statistical timing and statistical fault models 基于统计时序和统计故障模型提高延迟缺陷诊断分辨率
Pub Date : 2003-06-02 DOI: 10.1145/775832.776001
Angela Krstic, Li-C. Wang, K. Cheng, J. Liou, T. M. Mak
In this paper, we propose a new methodology for diagnosis of delay defects in the deep submicron domain. The key difference between our diagnosis framework and other traditional diagnosis methods lies in our assumptions of the statistical circuit timing and the statistical delay defect size. Due to the statistical nature of the problem, achieving 100% diagnosis resolution cannot be guaranteed. To enhance diagnosis resolution, we propose a 3-phase diagnosis methodology. In the first phase, our goal is to quickly identify a set of candidate suspect faults that are most likely to cause the failing behavior based on logic constraints. In the second phase, we obtain a much smaller suspect fault set by applying a novel diagnosis algorithm that can effectively utilize the statistical timing information based upon a single defect assumption. In the third phase, our goal is to apply additional fine-tuned patterns to successfully narrow down to more exact suspect defect locations. Using a statistical timing analysis framework, we demonstrate the effectiveness of the proposed methodology for delay defect diagnosis, and discuss experimental results based on benchmark circuits.
本文提出了一种用于深亚微米域延迟缺陷诊断的新方法。该诊断框架与其他传统诊断方法的关键区别在于我们对统计电路时序和统计延迟缺陷大小的假设。由于问题的统计性质,无法保证100%的诊断解决。为了提高诊断分辨率,我们提出了一种三阶段诊断方法。在第一阶段,我们的目标是根据逻辑约束快速识别一组最有可能导致失败行为的候选可疑错误。在第二阶段,我们采用了一种新的诊断算法,该算法可以有效地利用基于单个缺陷假设的统计时序信息,从而获得更小的可疑故障集。在第三阶段,我们的目标是应用额外的微调模式,以成功地缩小到更精确的可疑缺陷位置。利用统计时序分析框架,我们证明了所提出的方法对延迟缺陷诊断的有效性,并讨论了基于基准电路的实验结果。
{"title":"Enhancing diagnosis resolution for delay defects based upon statistical timing and statistical fault models","authors":"Angela Krstic, Li-C. Wang, K. Cheng, J. Liou, T. M. Mak","doi":"10.1145/775832.776001","DOIUrl":"https://doi.org/10.1145/775832.776001","url":null,"abstract":"In this paper, we propose a new methodology for diagnosis of delay defects in the deep submicron domain. The key difference between our diagnosis framework and other traditional diagnosis methods lies in our assumptions of the statistical circuit timing and the statistical delay defect size. Due to the statistical nature of the problem, achieving 100% diagnosis resolution cannot be guaranteed. To enhance diagnosis resolution, we propose a 3-phase diagnosis methodology. In the first phase, our goal is to quickly identify a set of candidate suspect faults that are most likely to cause the failing behavior based on logic constraints. In the second phase, we obtain a much smaller suspect fault set by applying a novel diagnosis algorithm that can effectively utilize the statistical timing information based upon a single defect assumption. In the third phase, our goal is to apply additional fine-tuned patterns to successfully narrow down to more exact suspect defect locations. Using a statistical timing analysis framework, we demonstrate the effectiveness of the proposed methodology for delay defect diagnosis, and discuss experimental results based on benchmark circuits.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126769700","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}
引用次数: 31
A timing-accurate modeling and simulation environment for networked embedded systems 面向网络化嵌入式系统的定时精确建模与仿真环境
Pub Date : 2003-06-02 DOI: 10.1145/775832.775846
F. Fummi, G. Perbellini, P. Gallo, M. Poncino, S. Martini, F. Ricciato
The design of state-of-the-art, complex embedded system requires the capability of modeling and simulating the complex networked environment in which such systems operate. This implies the availability of both a networking modeling environment and traditional system-level modeling and simulation methodology based on a timing accurate integration of a system-level modeling language (SystemC) and a network simulation environment (NS-2). The efficiency of the proposed design environment has been demonstrated on a description of an 802.11 MAC layer.
最先进的、复杂的嵌入式系统的设计需要建模和模拟复杂网络环境的能力,这些系统在其中运行。这意味着网络建模环境和基于系统级建模语言(SystemC)和网络仿真环境(NS-2)的定时精确集成的传统系统级建模和仿真方法的可用性。所提出的设计环境的效率已在802.11 MAC层的描述中得到验证。
{"title":"A timing-accurate modeling and simulation environment for networked embedded systems","authors":"F. Fummi, G. Perbellini, P. Gallo, M. Poncino, S. Martini, F. Ricciato","doi":"10.1145/775832.775846","DOIUrl":"https://doi.org/10.1145/775832.775846","url":null,"abstract":"The design of state-of-the-art, complex embedded system requires the capability of modeling and simulating the complex networked environment in which such systems operate. This implies the availability of both a networking modeling environment and traditional system-level modeling and simulation methodology based on a timing accurate integration of a system-level modeling language (SystemC) and a network simulation environment (NS-2). The efficiency of the proposed design environment has been demonstrated on a description of an 802.11 MAC layer.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131417099","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
Exploring regular fabrics to optimize the performance-cost trade-off 探索常规面料,优化性能成本权衡
Pub Date : 2003-06-02 DOI: 10.1145/775832.776031
L. Pileggi, H. Schmit, A. Strojwas, P. Gopalakrishnan, V. Kheterpal, Aneesh Koorapaty, C. Patel, V. Rovner, K. Y. Tong
While advances in semiconductor technologies have pushed achievable scale and performance to phenomenal limits for ICs, nanoscale physical realities dictate IC production based on what we can afford. We believe that IC design and manufacturing can be made more affordable, and reliable, by removing some design and implementation flexibility and enforcing new forms of design regularity. This paper discusses some of the trade-offs to consider for determination of how much regularity a particular IC or application can afford. A Via Patterned Gate Array is proposed as one such example that trades performance for cost by way of new forms of design regularity.
虽然半导体技术的进步已经将集成电路的可实现规模和性能推向了惊人的极限,但纳米级的物理现实决定了我们可以负担得起的集成电路生产。我们相信,通过消除一些设计和实现的灵活性,并强制执行新的设计规则形式,IC设计和制造可以变得更实惠,更可靠。本文讨论了在确定特定IC或应用程序可以承受多大的规律性时需要考虑的一些权衡。通过设计规则的新形式,提出了一种以性能换取成本的通孔图案门阵列。
{"title":"Exploring regular fabrics to optimize the performance-cost trade-off","authors":"L. Pileggi, H. Schmit, A. Strojwas, P. Gopalakrishnan, V. Kheterpal, Aneesh Koorapaty, C. Patel, V. Rovner, K. Y. Tong","doi":"10.1145/775832.776031","DOIUrl":"https://doi.org/10.1145/775832.776031","url":null,"abstract":"While advances in semiconductor technologies have pushed achievable scale and performance to phenomenal limits for ICs, nanoscale physical realities dictate IC production based on what we can afford. We believe that IC design and manufacturing can be made more affordable, and reliable, by removing some design and implementation flexibility and enforcing new forms of design regularity. This paper discusses some of the trade-offs to consider for determination of how much regularity a particular IC or application can afford. A Via Patterned Gate Array is proposed as one such example that trades performance for cost by way of new forms of design regularity.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124087917","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}
引用次数: 123
Automatic trace analysis for logic of constraints 约束逻辑的自动跟踪分析
Pub Date : 2003-06-02 DOI: 10.1145/775832.775952
X. Chen, H. Hsieh, F. Balarin, Yosinori Watanabe
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present algorithms to automatically generate trace checkers from formulas written in the formal quantitative constraint language, Logic Of Constraints (LOC), to analyze the simulation traces for functional and performance constraint violations. For many interesting formulas, the checkers exhibit linear time complexity and constant memory usage. We illustrate the usefulness and efficiency of this approach with large designs and traces.
系统设计的验证仍然是当今的主要挑战。模拟仍然是确保实现按预期执行的主要工具。我们提出了一种算法,从用形式化定量约束语言,约束逻辑(LOC)编写的公式中自动生成跟踪检查器,以分析功能和性能约束违规的仿真跟踪。对于许多有趣的公式,检查器表现出线性时间复杂性和恒定的内存使用。我们用大型设计和跟踪来说明这种方法的有效性和效率。
{"title":"Automatic trace analysis for logic of constraints","authors":"X. Chen, H. Hsieh, F. Balarin, Yosinori Watanabe","doi":"10.1145/775832.775952","DOIUrl":"https://doi.org/10.1145/775832.775952","url":null,"abstract":"Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present algorithms to automatically generate trace checkers from formulas written in the formal quantitative constraint language, Logic Of Constraints (LOC), to analyze the simulation traces for functional and performance constraint violations. For many interesting formulas, the checkers exhibit linear time complexity and constant memory usage. We illustrate the usefulness and efficiency of this approach with large designs and traces.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128650920","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
Reshaping EDA for power 为权力重塑EDA
Pub Date : 2003-06-02 DOI: 10.1145/775832.775838
J. Rabaey, D. Sylvester, D. Blaauw, K. Bernstein, J. Frenkil, M. Horowitz, W. Nebel, T. Sakurai, A. Yang
Today's rising power densities have been widely cited as the foremost challenge to continued CMOS scaling. In fact, the current power crisis is reminiscent of the final days previous technologies, such as the once popular bipolar and NMOS technologies and even vacuum tubes. How CMOS technology will respond to the current power challenge to extend CMOS scaling to sub-90nm technology is an important question for designer and CAD tool developers alike. With aggressive scaling a number of new challenges have arisen, such as leakage control, heat removal and power supply distribution, that need to be addressed using new design techniques in conjunction with new CAD solutions.This panel brings together experts in circuit design and CAD tool development to discuss the current status of low-power design and provide opinions on what new EDA capabilities are most important in the power-constrained design era. For instance, how will power be distributed in a robust fashion in sub-90nm ICs, and what are the critical EDA analysis and optimization capabilities? What are the best techniques for leakage reduction, not only in standby modes, but also in the active mode? And how far will voltage scaling take us in attacking the dynamic power consumption issue? What will a power-centric design flow look like and how will it change the way we design ICs? The objective of the panel is to explore these issues and formulate a list of critical issues that need to be addressed by the EDA community to enable successful scaling of CMOS into the sub-90nm era.
当今不断上升的功率密度已被广泛认为是CMOS持续扩展的首要挑战。事实上,目前的电力危机让人想起了以前的技术,比如曾经流行的双极和NMOS技术,甚至真空管。对于设计人员和CAD工具开发人员来说,CMOS技术如何应对当前的功耗挑战,将CMOS扩展到低于90纳米的技术是一个重要的问题。随着规模的不断扩大,出现了许多新的挑战,例如泄漏控制、散热和电源分配,这些都需要使用新的设计技术和新的CAD解决方案来解决。本次研讨会汇集了电路设计和CAD工具开发方面的专家,讨论了低功耗设计的现状,并就在功耗受限的设计时代,哪些新的EDA功能是最重要的提供了意见。例如,在90纳米以下的集成电路中,如何以稳健的方式分配功率,以及关键的EDA分析和优化能力是什么?在待机模式和活动模式下,减少泄漏的最佳技术是什么?电压缩放能在多大程度上帮助我们解决动态功耗问题?以功率为中心的设计流程会是什么样子?它将如何改变我们设计ic的方式?该小组的目标是探讨这些问题,并制定EDA社区需要解决的关键问题清单,以使CMOS成功地扩展到90纳米以下时代。
{"title":"Reshaping EDA for power","authors":"J. Rabaey, D. Sylvester, D. Blaauw, K. Bernstein, J. Frenkil, M. Horowitz, W. Nebel, T. Sakurai, A. Yang","doi":"10.1145/775832.775838","DOIUrl":"https://doi.org/10.1145/775832.775838","url":null,"abstract":"Today's rising power densities have been widely cited as the foremost challenge to continued CMOS scaling. In fact, the current power crisis is reminiscent of the final days previous technologies, such as the once popular bipolar and NMOS technologies and even vacuum tubes. How CMOS technology will respond to the current power challenge to extend CMOS scaling to sub-90nm technology is an important question for designer and CAD tool developers alike. With aggressive scaling a number of new challenges have arisen, such as leakage control, heat removal and power supply distribution, that need to be addressed using new design techniques in conjunction with new CAD solutions.This panel brings together experts in circuit design and CAD tool development to discuss the current status of low-power design and provide opinions on what new EDA capabilities are most important in the power-constrained design era. For instance, how will power be distributed in a robust fashion in sub-90nm ICs, and what are the critical EDA analysis and optimization capabilities? What are the best techniques for leakage reduction, not only in standby modes, but also in the active mode? And how far will voltage scaling take us in attacking the dynamic power consumption issue? What will a power-centric design flow look like and how will it change the way we design ICs? The objective of the panel is to explore these issues and formulate a list of critical issues that need to be addressed by the EDA community to enable successful scaling of CMOS into the sub-90nm era.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114764725","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}
引用次数: 0
Advanced techniques for RTL debugging RTL调试的高级技术
Pub Date : 2003-06-02 DOI: 10.1109/DAC.2003.1219025
Y. Hsu, B. Tabbara, Yirng-An Chen, F. Tsai
Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) source. This process is helpful in locating errors but does little to help designers reason about the how and why. Designers usually have to build a mental image of how data is propagated and used over the simulation run. As designs get more and more complex, there is a need to facilitate this reasoning process, and automate the debugging. In this paper, we present innovative debug techniques to address this shortage in adequate facilities for reasoning about behavior, and debugging errors. Our approach delivers significant technology advances in RTL debugging; it is the first comprehensive and methodical approach of its kind that extracts, analyses, traces, explores, and queries a design's multi-cycle temporal behavior. We show how our automatic tracing scheme can shorten debugging time by orders of magnitude for unfamiliar designs. We also demonstrate how the advanced debug techniques reduce the number of regression iterations.
传统的寄存器传输电平(RTL)调试是基于对硬件描述语言(HDL)源代码的结构连接信息的叠加仿真结果。这个过程有助于定位错误,但对设计师解释如何和为什么出错却没有多大帮助。设计师通常需要在脑海中构建数据在模拟运行中是如何传播和使用的图像。随着设计变得越来越复杂,有必要促进这种推理过程,并使调试自动化。在本文中,我们提出了创新的调试技术,以解决行为推理和调试错误的适当设施的不足。我们的方法在RTL调试方面实现了重大的技术进步;它是同类中第一个全面而系统的方法,可以提取、分析、跟踪、探索和查询设计的多周期时间行为。我们展示了我们的自动跟踪方案如何为不熟悉的设计缩短调试时间的数量级。我们还演示了高级调试技术如何减少回归迭代的次数。
{"title":"Advanced techniques for RTL debugging","authors":"Y. Hsu, B. Tabbara, Yirng-An Chen, F. Tsai","doi":"10.1109/DAC.2003.1219025","DOIUrl":"https://doi.org/10.1109/DAC.2003.1219025","url":null,"abstract":"Conventional register transfer level (RTL) debugging is based on overlaying simulation results on structural connectivity information of the Hardware Description Language (HDL) source. This process is helpful in locating errors but does little to help designers reason about the how and why. Designers usually have to build a mental image of how data is propagated and used over the simulation run. As designs get more and more complex, there is a need to facilitate this reasoning process, and automate the debugging. In this paper, we present innovative debug techniques to address this shortage in adequate facilities for reasoning about behavior, and debugging errors. Our approach delivers significant technology advances in RTL debugging; it is the first comprehensive and methodical approach of its kind that extracts, analyses, traces, explores, and queries a design's multi-cycle temporal behavior. We show how our automatic tracing scheme can shorten debugging time by orders of magnitude for unfamiliar designs. We also demonstrate how the advanced debug techniques reduce the number of regression iterations.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125896717","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}
引用次数: 32
A tool for describing and evaluating hierarchical real-time bus scheduling policies 描述和评估分层实时公交调度策略的工具
Pub Date : 2003-06-02 DOI: 10.1145/775832.775913
Trevor Meyerowitz, C. Pinello, A. Sangiovanni-Vincentelli
We present a tool suite for building, simulating, and analyzing the results of hierarchical tree-like structure descriptions of the scheduling policy for modules sharing a bus in real-time applications. These schedules can be based on a variety of factors including characteristics of messages and time slicing and are represented in a hierarchical tree-like structure that specifies multiple levels of arbitration. This structure can describe many popular arbitration schemes. Our simulator evaluates the specified scheduling structure on a set of message traces for a given bus. We illustrate our approach by applying it to two examples: the SAE automotive benchmark and Voice over IP (VoIP). Although this paper deals with just bus scheduling policies, the approach can be easily extended to other real-time scheduling problems.
我们提供了一个工具套件,用于构建、模拟和分析实时应用中共享总线的模块调度策略的分层树状结构描述的结果。这些调度可以基于各种因素,包括消息的特征和时间切片,并以层次化的树状结构表示,该结构指定了多个仲裁级别。这种结构可以描述许多流行的仲裁方案。我们的模拟器在给定总线的一组消息跟踪上评估指定的调度结构。我们通过将其应用于两个示例来说明我们的方法:SAE汽车基准测试和IP语音(VoIP)。虽然本文只讨论总线调度策略,但该方法可以很容易地扩展到其他实时调度问题。
{"title":"A tool for describing and evaluating hierarchical real-time bus scheduling policies","authors":"Trevor Meyerowitz, C. Pinello, A. Sangiovanni-Vincentelli","doi":"10.1145/775832.775913","DOIUrl":"https://doi.org/10.1145/775832.775913","url":null,"abstract":"We present a tool suite for building, simulating, and analyzing the results of hierarchical tree-like structure descriptions of the scheduling policy for modules sharing a bus in real-time applications. These schedules can be based on a variety of factors including characteristics of messages and time slicing and are represented in a hierarchical tree-like structure that specifies multiple levels of arbitration. This structure can describe many popular arbitration schemes. Our simulator evaluates the specified scheduling structure on a set of message traces for a given bus. We illustrate our approach by applying it to two examples: the SAE automotive benchmark and Voice over IP (VoIP). Although this paper deals with just bus scheduling policies, the approach can be easily extended to other real-time scheduling problems.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125203457","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
Schedulers as model-based design elements in programmable heterogeneous multiprocessors 调度器作为可编程异构多处理器中基于模型的设计元素
Pub Date : 2003-06-02 DOI: 10.1145/775832.775938
J. M. Paul, A. Bobrek, J. E. Nelson, Joshua J. Pieper, D. E. Thomas
As System On a Chip (SoC) designs become more like Programmable Heterogeneous Multiprocessors (PHMs), the highest levels of design will place emphasis on the custom design of elements that were traditionally associated with systems in the large. We motivate how schedulers that make dynamic, data-dependent decisions at run-time will be key design elements in PHM SoCs. Starting from a fundamental model, the role schedulers play in PHMs is developed. Model-based scheduling is introduced as an approach to designing schedulers that optimize a PHMs performance. Due to the complexity of the PHM design space, convergence on optimal design requires high-level modeling and simulation. In model-based scheduling, high-level models of scheduling decisions result in actual design elements that appear in real systems. Experiments for a simple two-processor PHM that does a mix of image and text compression are included. Results show the effectiveness of model-based scheduling.
随着片上系统(SoC)设计越来越像可编程异构多处理器(phm),最高级别的设计将重点放在传统上与大型系统相关的元素的定制设计上。我们鼓励在运行时做出动态的、依赖数据的决策的调度器如何成为PHM soc中的关键设计元素。从一个基本模型出发,阐述了调度器在phm中的作用。介绍了一种基于模型的调度方法,用于设计优化phm性能的调度程序。由于PHM设计空间的复杂性,收敛最优设计需要高水平的建模和仿真。在基于模型的调度中,调度决策的高级模型导致出现在实际系统中的实际设计元素。本文还包括一个简单的双处理器PHM的实验,该实验混合了图像和文本压缩。结果表明,基于模型的调度方法是有效的。
{"title":"Schedulers as model-based design elements in programmable heterogeneous multiprocessors","authors":"J. M. Paul, A. Bobrek, J. E. Nelson, Joshua J. Pieper, D. E. Thomas","doi":"10.1145/775832.775938","DOIUrl":"https://doi.org/10.1145/775832.775938","url":null,"abstract":"As System On a Chip (SoC) designs become more like Programmable Heterogeneous Multiprocessors (PHMs), the highest levels of design will place emphasis on the custom design of elements that were traditionally associated with systems in the large. We motivate how schedulers that make dynamic, data-dependent decisions at run-time will be key design elements in PHM SoCs. Starting from a fundamental model, the role schedulers play in PHMs is developed. Model-based scheduling is introduced as an approach to designing schedulers that optimize a PHMs performance. Due to the complexity of the PHM design space, convergence on optimal design requires high-level modeling and simulation. In model-based scheduling, high-level models of scheduling decisions result in actual design elements that appear in real systems. Experiments for a simple two-processor PHM that does a mix of image and text compression are included. Results show the effectiveness of model-based scheduling.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122208598","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}
引用次数: 29
期刊
Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)
全部 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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1