首页 > 最新文献

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

英文 中文
A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference 一个集成了CMOS-MEMS时钟参考的16位混合信号微系统
Pub Date : 2003-06-02 DOI: 10.1145/775832.775965
R. Senger, E. Marsman, M. McCorquodale, F. Gebara, K. L. Kraver, Matthew R. Guthaus, Richard B. Brown
In this work, we report on an unprecedented design where digital, analog, and MEMS technologies are combined to realize a general-purpose single-chip CMOS microsystem. The convergence of these technologies has enabled the development of a low power, portable microinstrument ideally suited for controlling environmental and bio-implantable sensors.
在这项工作中,我们报告了一种前所未有的设计,其中数字,模拟和MEMS技术相结合,以实现通用单芯片CMOS微系统。这些技术的融合使低功耗、便携式微型仪器的开发成为可能,非常适合于控制环境和生物植入式传感器。
{"title":"A 16-bit mixed-signal microsystem with integrated CMOS-MEMS clock reference","authors":"R. Senger, E. Marsman, M. McCorquodale, F. Gebara, K. L. Kraver, Matthew R. Guthaus, Richard B. Brown","doi":"10.1145/775832.775965","DOIUrl":"https://doi.org/10.1145/775832.775965","url":null,"abstract":"In this work, we report on an unprecedented design where digital, analog, and MEMS technologies are combined to realize a general-purpose single-chip CMOS microsystem. The convergence of these technologies has enabled the development of a low power, portable microinstrument ideally suited for controlling environmental and bio-implantable sensors.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"56 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":"116939259","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
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
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
Multilevel floorplanning/placement for large-scale modules using B*-trees 使用B*树的大型模块的多层平面规划/放置
Pub Date : 2003-06-02 DOI: 10.1109/DAC.2003.1219130
Hsun-Cheng Lee, Yao-Wen Chang, J. Hsu, Hannah Honghua Yang
We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-scale building modules. The MB*-tree adopts a two-stage technique, clustering followed by declustering. The clustering stage iteratively groups a set of modules based on a cost metric guided by area utilization and module connectivity, and at the same time establishes the geometric relations for the newly clustered modules by constructing a corresponding B*-tree for them. The declustering stage iteratively ungroup a set of the previously clustered modules (i.e., perform tree expansion) and then refines the floorplanning/placement solution by using a simulated annealing scheme. In particular, the MB*-tree preserves the geometric relations among modules during declustering, which makes the MB*-tree an ideal data structure for the multilevel floorplanning/placement framework. Experimental results show that the MB*-tree obtains significantly better silicon area and wirelength than previous works. Further, unlike previous works, MB*-tree scales very well as the circuit size increases.
本文提出了一种基于B*树表示的多层平面规划/布局框架,称为MB*树,用于处理大型建筑模块的平面规划和布局。MB*-tree采用两阶段技术,先聚类,再聚类。聚类阶段以面积利用率和模块连通性为指导,基于成本度量对模块进行迭代分组,同时通过构造相应的B*树来建立新聚类模块的几何关系。聚类阶段迭代地将一组先前聚集的模块拆解(即执行树扩展),然后通过使用模拟退火方案来改进地板规划/放置解决方案。特别地,MB*-树在聚类过程中保留了模块之间的几何关系,这使得MB*-树成为多层平面规划/放置框架的理想数据结构。实验结果表明,该MB*-tree的硅面积和波长明显优于以往的研究成果。此外,与以前的工作不同,MB*树随着电路尺寸的增加而扩展得非常好。
{"title":"Multilevel floorplanning/placement for large-scale modules using B*-trees","authors":"Hsun-Cheng Lee, Yao-Wen Chang, J. Hsu, Hannah Honghua Yang","doi":"10.1109/DAC.2003.1219130","DOIUrl":"https://doi.org/10.1109/DAC.2003.1219130","url":null,"abstract":"We present in this paper a multilevel floorplanning/placement framework based on the B*-tree representation, called MB*-tree, to handle the floorplanning and packing for large-scale building modules. The MB*-tree adopts a two-stage technique, clustering followed by declustering. The clustering stage iteratively groups a set of modules based on a cost metric guided by area utilization and module connectivity, and at the same time establishes the geometric relations for the newly clustered modules by constructing a corresponding B*-tree for them. The declustering stage iteratively ungroup a set of the previously clustered modules (i.e., perform tree expansion) and then refines the floorplanning/placement solution by using a simulated annealing scheme. In particular, the MB*-tree preserves the geometric relations among modules during declustering, which makes the MB*-tree an ideal data structure for the multilevel floorplanning/placement framework. Experimental results show that the MB*-tree obtains significantly better silicon area and wirelength than previous works. Further, unlike previous works, MB*-tree scales very well as the circuit size increases.","PeriodicalId":167477,"journal":{"name":"Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451)","volume":"80 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":"133150074","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}
引用次数: 37
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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1