Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design最新文献

筛选
英文 中文
HW-SW co-design and verification of a multi-standard video and image codec HW-SW协同设计和验证多标准视频和图像编解码器
R. Llopis, M. Oosterhuis, R. Sethuraman, P. Lippens, A. V. D. Werf, S. Maul, Jim Lin
{"title":"HW-SW co-design and verification of a multi-standard video and image codec","authors":"R. Llopis, M. Oosterhuis, R. Sethuraman, P. Lippens, A. V. D. Werf, S. Maul, Jim Lin","doi":"10.1109/ISQED.2001.915261","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915261","url":null,"abstract":"The impact of design quality on electronic designs being phenomenal, the trend towards proven design methods has received considerable attention from the electronic design community. In this work, we present one such method followed in Philips Research for HW-SW codesign and verification. The method starts with an application code and goes through the various steps of HW-SW partitioning and verification and culminates in an IP with a proven design quality. We illustrate the method through the design of a multi-standard video and image codec.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126959307","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}
引用次数: 13
Timing yield estimation from static timing analysis 基于静态时序分析的时序产率估计
A. Gattiker, S. Nassif, R. Dinakar, C. Long
{"title":"Timing yield estimation from static timing analysis","authors":"A. Gattiker, S. Nassif, R. Dinakar, C. Long","doi":"10.1109/ISQED.2001.915268","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915268","url":null,"abstract":"This paper presents a means for estimating parametric timing yield and guiding robust design for-quality in the presence of manufacturing and operating environment variations. Dual emphasis is on computational efficiency and providing meaningful robust-design guidance. Computational efficiency is achieved by basing the proposed methodology on a post-processing step applied to the report generated as a by-product of static timing analysis. Efficiency is also ensured by exploiting the fact that for small processing/environment variations, a linear model is adequate for capturing the resulting delay change. Meaningful design guidance is achieved by analyzing the timing-related influence of variations on a path-by-path basis, allowing designers perform a quality-oriented design pass focused on key paths. A coherent strategy is provided to handle both die-to-die and within-die variations. Examples from a PowerPC microprocessor illustrate the methodology and its capabilities.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"09 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127460186","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}
引用次数: 122
Spice model quality: process development viewpoint 香料模型质量:过程发展观点
P. Bendix
{"title":"Spice model quality: process development viewpoint","authors":"P. Bendix","doi":"10.1109/ISQED.2001.915274","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915274","url":null,"abstract":"The author shows what is required of a good model, with emphasis from a process development point of view. The merits of good test chips, physical correctness of the model, and realistic skews (best/worst case) are investigated. Prediction of future technologies with some level of confidence is also looked at. A close working relationship between process integration, model engineering, and circuit design is considered. Advantages of models with well-behaved, smooth, glitchless characteristics and well-behaved derivatives are covered. Parameter correlations, parameter redundancy and model documentation round out the basic model discussions. Extra features are also covered including noise models, high frequency characterization, diode models, parasitic bipolar models, etc. and finally, the need for models to evolve with manufacturing.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121750598","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}
引用次数: 1
CAD issues for CMOS VLSI design in SOI SOI中CMOS VLSI设计的CAD问题
K. Shepard
{"title":"CAD issues for CMOS VLSI design in SOI","authors":"K. Shepard","doi":"10.1109/ISQED.2001.915213","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915213","url":null,"abstract":"This paper reviews recent progress in making circuit-level CAD tools for the design of digital integrated circuits SOI-aware, specifically transistor-level static timing and static noise analysis tools. This involves abstracting the SOI device physics of the floating body, allowing estimates of the body voltage variation under various switching activity assumptions. These body voltage estimates are then applied as \"initial conditions\" in the constituent simulations of the static analyses. Results are presented for a prototype static timing analysis tool and a commercial static noise analysis tool.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"100 39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130038715","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
A hardware and software monitor for high-level system-on-chip verification 用于高级片上系统验证的硬件和软件监视器
Mohammed El Shobaki, L. Lindh
{"title":"A hardware and software monitor for high-level system-on-chip verification","authors":"Mohammed El Shobaki, L. Lindh","doi":"10.1109/ISQED.2001.915206","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915206","url":null,"abstract":"Verification of today's Systems-on-Chip (SoC) occurs at low abstraction-levels, typically at register-transfer level (RTL). As the complexity of SoC designs grows, it is increasingly important to move verification to higher abstraction-levels. Hardware/software co-simulation is a step in this direction, but is not sufficient due to inaccurate processor models, and slow hardware simulation speeds. System-level monitoring commonly used for event-based software debugging, provides information about task scheduling events, inter-task communication and synchronisation, semaphores/resources, I/O interrupts, etc. We present MAMon, a monitoring system that can both monitor the logic-level and the system-level in single/multiprocessor SoCs. A small hardware probe-unit is integrated in the SoC design and connects via a parallel-port link to a host-based monitoring tool environment. The probe-unit collects all events in the target system in run-time, and time-stamps them with a resolution of 1 /spl mu/s. The events are then stored in a database on the host for further processing. The paper will describe MAMon and how it works for software and hardware monitoring. The paper also describe how system-level monitoring can be achieved non-instrusively by using a hardware-based real-time kernel.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131723938","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}
引用次数: 47
HRM-a hierarchical simulator for full-chip power network reliability analysis 全芯片电网可靠性分析的分层仿真器
Yi-Min Jiang, Han Young Koh, K. Cheng
{"title":"HRM-a hierarchical simulator for full-chip power network reliability analysis","authors":"Yi-Min Jiang, Han Young Koh, K. Cheng","doi":"10.1109/ISQED.2001.915248","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915248","url":null,"abstract":"This paper presents a novel hierarchical simulation method for analyzing the power network reliability. Instead of performing full-chip simulation at the transistor level, this method first simulates each top-level block in the design individually to derive macro-models of the blocks. For standard-cell blocks in the design, gate-level simulation is used to derive the switching profiles of all cells in the blocks. For full-custom blocks embedded in the design, transistor-level power network simulation is used. Based on the block-level simulation results, the simulated blocks are modeled as a set of current sources along with simplified but equivalent power network RCs. Top-level simulation is then performed based on the network consisting of the top-level power net RCs and the macro-models of the blocks. To macro-model the standard-cell blocks for power network analysis, this paper proposes a modeling technique to derive the power-network model which can accurately characterize the impact of the cell switching activity on the current and voltage of the entire power network. Experimental results on two industrial structured-custom-designs are presented. The results indicate that the proposed method, compared with an industrial power network simulator, significantly reduces the CPU runtime and memory requirement for power network simulation, maintaining small discrepancies.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121279855","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}
引用次数: 1
Complex reliability evaluation of voters for fault tolerant designs 容错设计选择器的复杂可靠性评价
M. Radu, D. Pitica, Radu Munteanu, C. Posteuca
{"title":"Complex reliability evaluation of voters for fault tolerant designs","authors":"M. Radu, D. Pitica, Radu Munteanu, C. Posteuca","doi":"10.1109/ISQED.2001.915252","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915252","url":null,"abstract":"Hardware voters are bit voters computing a majority of n input bits. An m-out-of-n hardware bit voter is a circuit with n bit inputs, and 1 bit output y, such that y=1 if at least m-out-of-n inputs bits have the value 1. A hardware voter can be constructed as two level AND-OR (equivalently OR-AND and other structures) using CMOS VLSI technology. The goal of the paper is to present reliability estimations, failure modes and effects and criticality analysis (FMECA) of voting networks at the transistor level, in CMOS VLSl implementation. FMECA is performed using the functional tree of the system, representing the data flow from the lowest level functional block up to the higher level functional blocks. The main idea of this research is to identify the best designs of voting circuits in terms of reliability parameters and to identify their critical failures and effects.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123012059","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
Scripting for EDA tools: a case study EDA工具的脚本编写:一个案例研究
Pinhong Chen, K. Keutzer, D. Kirkpatrick
{"title":"Scripting for EDA tools: a case study","authors":"Pinhong Chen, K. Keutzer, D. Kirkpatrick","doi":"10.1109/ISQED.2001.915211","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915211","url":null,"abstract":"Now to integrate EDA tools to enable interoperability and ease of use has been a very time-consuming and complicated job. Conventionally, each tool comes with a unique and simple set of commands for interactive use such as Sis, Vis, and Magic, but it lacks full programming capability of a scripting language. Also, it discourages further exploration to the underlying system functionality. Not only the code is hard to reuse, but also rapid prototyping of a new algorithm is impossible. A new algorithm may still take years to develop, which has to start from scratch and struggles between various formats. In this paper, we study and address how to easily integrate those application program interface (API)'s into most popular scripting languages such as Tcl or Perl. This enables a full scripting or programming language capability into a tool, and most important of all, any tool can be interoperated over a uniform platform on an API level. Rapid prototyping of a new algorithm thus becomes much easier and faster. It also promotes software reuse. Many existing extension packages for the scripting languages can be therefore integrated such as Tk for graphic user interface (GUI), and CPAN collection for various Perl applications. From a standpoint of high software quality this approach also provides a very good vehicle for comprehensive testing of each API in an EDA tool.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121369949","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}
引用次数: 14
High-quality FPGA designs through functional decomposition with sub-function input support selection based on information relationship measures 通过功能分解和基于信息关系度量的子功能输入支持选择来设计高质量的FPGA
A. Chojnacki, L. Józwiak
{"title":"High-quality FPGA designs through functional decomposition with sub-function input support selection based on information relationship measures","authors":"A. Chojnacki, L. Józwiak","doi":"10.1109/ISQED.2001.915264","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915264","url":null,"abstract":"Functional decomposition seems to be the most effective circuit synthesis approach for look-up table (LUT) FPGAs, (C)PLDs and complex gates. Since LUT FPGAs are used in numerous important applications and constitute a foundation for the novel re-configurable system-on-a-chip platforms, an adequate synthesis for this target is of primary importance for the modern system industry. In the functional decomposition targeting LUT FPGAs, the circuit is constructed by recursively decomposing a given function and its sub-functions until each of the resulting sub-functions can be directly implemented with a LUT. The impact support selection for the sub-functions that are constructed in this process decides the quality of the resulting multi-level circuit to a high degree. In this paper; we propose a new effective method for the sub-function input support selection and discuss its application in our circuit synthesis tool that targets LUT-based FPGAs. The experimental results demonstrate that the proposed approach lends to extremely fast and very small circuits. The circuits consume on average over 2 times less logic blocks (CLBs) and are over 1.5 times faster than the circuits produced by the best state-of-the-art commercial tools.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125642144","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}
引用次数: 7
A global driver sizing tool for functional crosstalk noise avoidance 一个用于功能性串扰噪声避免的全局驱动尺寸工具
M. Becer, D. Blaauw, S. Sirichotiyakul, C. Oh, V. Zolotov, Jingyan Zuo, R. Levy, I. Hajj
{"title":"A global driver sizing tool for functional crosstalk noise avoidance","authors":"M. Becer, D. Blaauw, S. Sirichotiyakul, C. Oh, V. Zolotov, Jingyan Zuo, R. Levy, I. Hajj","doi":"10.1109/ISQED.2001.915221","DOIUrl":"https://doi.org/10.1109/ISQED.2001.915221","url":null,"abstract":"As coupling noise analysis and estimation is reaching a relative maturity with recent efforts, more effort is needed in correcting and/or avoiding failures that can be caused by coupling noise. In this paper, we present a global driver sizing tool which can be used in a complete noise avoidance tool along with other techniques such as wire spacing and wire sizing. The proposed approach is used along with ClariNet, which is a recent noise analysis tool, in a greater effort towards a total signal integrity solution. We first present the analytical, linear interconnect model used. We then show how this model is used to provide necessary information for global driver sizing along with our novel algorithm. We finally present results on two industrial circuits including a large high performance control block.","PeriodicalId":110117,"journal":{"name":"Proceedings of the IEEE 2001. 2nd International Symposium on Quality Electronic Design","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124883241","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}
引用次数: 7
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信