首页 > 最新文献

Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)最新文献

英文 中文
GeneSys: a leaf-cell layout synthesis system for GHz VLSI designs GeneSys:用于GHz VLSI设计的叶细胞布局合成系统
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745196
B. Basaran, K. Ganesh, Raymond Y. K. Lau, Artour Levin, Miles McCoo, S. Rangarajan, Naresh Sehgal
We present a new VLSI layout tool that synthesizes leaf-cell layouts for custom designs as well as standard cell and datapath libraries. GeneSys takes a leaf-cell schematic and a variety of top-down constraints to produce a layout for the circuit. The tool consists of five main components: placer, router, compactor, reliability analyzer and family generator. The system features new 2-D device placement and routing algorithms driven by reliability constraints. A Cell Architecture Rules feature allows customization of the tool to various layout styles. The family generation feature allows rapid synthesis of layout families from template cells. Initial usage statistics show a 2-4X mask designer productivity improvement for a variety of cells.
我们提出了一种新的VLSI布局工具,它综合了自定义设计的叶单元布局以及标准单元和数据路径库。GeneSys采用叶细胞示意图和各种自上而下的约束来生成电路的布局。该工具由五个主要部件组成:砂矿机、研磨机、压实机、可靠性分析仪和家用发电机。该系统具有新的二维器件放置和路由算法,由可靠性约束驱动。Cell Architecture Rules功能允许将工具自定义为各种布局样式。家族生成功能允许从模板单元快速合成布局家族。初始使用统计数据显示,各种单元的掩模设计器生产率提高了2-4倍。
{"title":"GeneSys: a leaf-cell layout synthesis system for GHz VLSI designs","authors":"B. Basaran, K. Ganesh, Raymond Y. K. Lau, Artour Levin, Miles McCoo, S. Rangarajan, Naresh Sehgal","doi":"10.1109/ICVD.1999.745196","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745196","url":null,"abstract":"We present a new VLSI layout tool that synthesizes leaf-cell layouts for custom designs as well as standard cell and datapath libraries. GeneSys takes a leaf-cell schematic and a variety of top-down constraints to produce a layout for the circuit. The tool consists of five main components: placer, router, compactor, reliability analyzer and family generator. The system features new 2-D device placement and routing algorithms driven by reliability constraints. A Cell Architecture Rules feature allows customization of the tool to various layout styles. The family generation feature allows rapid synthesis of layout families from template cells. Initial usage statistics show a 2-4X mask designer productivity improvement for a variety of cells.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127683052","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
Formal system design based on the synchrony hypothesis, functional models, and skeletons 基于同步假设、功能模型和框架的正式系统设计
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745170
I. Sander, A. Jantsch
Formal approaches to HW and system design have not been generally adopted because designers often view the modelling concepts in these approaches as unsuitable for their problems. Moreover they are frequently on a too high abstraction level to allow for efficient synthesis with today's techniques. We address this problem with a modelling method, which is strictly formal and based on formal semantics, a pure functional language, and the synchrony hypothesis. But the use of skeletons in conjunction with a proper computational model allows to associate a direct hardware interpretation. In particular we use the synchrony hypothesis and a timed signal model to provide a high abstraction for communication at the system level. This facilitates efficient modelling and design space exploration at the functional level, because the designer is not concerned with complex communication mechanisms, and functionality can easily be moved from one block to another. To bridge the gap between an elegant and abstract functional model and the details of an implementation we use skeletons to encapsulate primitive structures, such as FSMs, buffers, computation units, etc. in a purely functional way.
硬件和系统设计的正式方法并没有被普遍采用,因为设计师经常认为这些方法中的建模概念不适合他们的问题。此外,它们经常处于太高的抽象级别,无法与当今的技术进行有效的综合。我们用一种建模方法来解决这个问题,这种建模方法是严格形式化的,基于形式化语义、纯函数式语言和同步假设。但是,将骨架与适当的计算模型结合使用,可以将直接的硬件解释联系起来。特别是,我们使用同步假设和定时信号模型来提供系统级通信的高度抽象。这有助于在功能层面上进行有效的建模和设计空间探索,因为设计师不需要考虑复杂的沟通机制,而且功能可以很容易地从一个块移动到另一个块。为了弥合优雅抽象的功能模型与实现细节之间的差距,我们使用骨架以纯功能的方式封装原始结构,如fsm、缓冲区、计算单元等。
{"title":"Formal system design based on the synchrony hypothesis, functional models, and skeletons","authors":"I. Sander, A. Jantsch","doi":"10.1109/ICVD.1999.745170","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745170","url":null,"abstract":"Formal approaches to HW and system design have not been generally adopted because designers often view the modelling concepts in these approaches as unsuitable for their problems. Moreover they are frequently on a too high abstraction level to allow for efficient synthesis with today's techniques. We address this problem with a modelling method, which is strictly formal and based on formal semantics, a pure functional language, and the synchrony hypothesis. But the use of skeletons in conjunction with a proper computational model allows to associate a direct hardware interpretation. In particular we use the synchrony hypothesis and a timed signal model to provide a high abstraction for communication at the system level. This facilitates efficient modelling and design space exploration at the functional level, because the designer is not concerned with complex communication mechanisms, and functionality can easily be moved from one block to another. To bridge the gap between an elegant and abstract functional model and the details of an implementation we use skeletons to encapsulate primitive structures, such as FSMs, buffers, computation units, etc. in a purely functional way.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"435 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132495149","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}
引用次数: 21
A new approach for CMOS op-amp synthesis 一种CMOS运算放大器合成的新方法
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745147
P. Mandal, V. Visvanathan
A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the first order behavior of an MOS transistor in the saturation region is such that the cost and the constraint functions for this optimization problem can be modeled as convex functions. Second order effects are then handled by formulating the problem as one of solving a sequence of convex programs. Numerical experiments show that the solutions to the sequence of convex programs converges to the same design point for widely varying initial guesses. This strongly suggests that the approach is capable of determining the globally optimal solution to the problem. Performance of the synthesized op-amps has been verified against detailed SPICE simulation for a 1.6 /spl mu/ CMOS process.
本文提出了一种新的CMOS运放电路合成方法。该方法是基于观察到MOS晶体管在饱和区域的一阶行为,使得该优化问题的成本和约束函数可以建模为凸函数。然后通过将问题表述为求解一系列凸规划来处理二阶效应。数值实验表明,对于初始猜测值变化较大的凸规划序列,其解收敛于同一设计点。这有力地表明,该方法能够确定问题的全局最优解。通过对1.6 /spl mu/ CMOS工艺的SPICE仿真验证了合成运放的性能。
{"title":"A new approach for CMOS op-amp synthesis","authors":"P. Mandal, V. Visvanathan","doi":"10.1109/ICVD.1999.745147","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745147","url":null,"abstract":"A new approach for CMOS op-amp circuit synthesis has proposed here. The approach is based on the observation that the first order behavior of an MOS transistor in the saturation region is such that the cost and the constraint functions for this optimization problem can be modeled as convex functions. Second order effects are then handled by formulating the problem as one of solving a sequence of convex programs. Numerical experiments show that the solutions to the sequence of convex programs converges to the same design point for widely varying initial guesses. This strongly suggests that the approach is capable of determining the globally optimal solution to the problem. Performance of the synthesized op-amps has been verified against detailed SPICE simulation for a 1.6 /spl mu/ CMOS process.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133045898","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}
引用次数: 11
Interconnect optimization strategies for high-performance VLSI designs 高性能VLSI设计的互连优化策略
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745199
A. Kahng, S. Muddu, E. Sarto
Interconnect tuning and repeater insertion are necessary to optimize interconnect delay, signal performance and integrity, and interconnect manufacturability and reliability. Repeater insertion in interconnects is an increasingly important element in the physical design of high-performance VLSI systems. By interconnect tuning, we refer to the selection of line thicknesses, widths and spacings in multi-layer interconnect to simultaneously optimize signal distribution, signal performance, signal integrity, and interconnect manufacturability and reliability. This is a key activity in most leading-edge design projects, but has received little attention in the literature. Our work provides the first technology-specific studies of interconnect tuning in the literature. We center on global wiring layers and interconnect tuning issues related to bus routing, repeater insertion, and choice of shielding/spacing rules for signal integrity and performance. We address four basic questions. (1) How should width and spacing be allocated to maximize performance for a given line pitch? (2) For a given line pitch, what criteria affect the optimal interval at which repeaters should be inserted into global interconnects? (3) Under what circumstances are shield wires the optimum technique for improving interconnect performance? (4) In global interconnect with repeaters, what other interconnect tuning is possible? Our study of question (4) demonstrates a new approach of offsetting repeater placements that can reduce worst-case cross-chip delays by over 30% in current technologies.
为了优化互连延迟、信号性能和完整性、互连可制造性和可靠性,互连调谐和中继器插入是必要的。在高性能超大规模集成电路系统的物理设计中,在互连中插入中继器是一个越来越重要的因素。通过互连调谐,我们指的是多层互连中线厚、宽度和间距的选择,以同时优化信号分布、信号性能、信号完整性以及互连的可制造性和可靠性。这是大多数前沿设计项目的关键活动,但在文献中很少受到关注。我们的工作提供了文献中第一个特定于技术的互连调谐研究。我们集中在全球布线层和互连调谐问题相关的总线路由,中继器插入,和选择屏蔽/间隔规则的信号完整性和性能。我们解决四个基本问题。(1)宽度和间距应该如何分配,以最大限度地提高性能为给定的线间距?(2)对于给定的线路间距,什么标准影响中继器插入全局互连的最佳间隔?(3)在什么情况下屏蔽线是改善互连性能的最佳技术?(4)在与中继器的全局互连中,有哪些其他的互连调谐是可能的?我们对问题(4)的研究展示了一种抵消中继器放置的新方法,该方法可以将当前技术中最坏情况下的跨芯片延迟减少30%以上。
{"title":"Interconnect optimization strategies for high-performance VLSI designs","authors":"A. Kahng, S. Muddu, E. Sarto","doi":"10.1109/ICVD.1999.745199","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745199","url":null,"abstract":"Interconnect tuning and repeater insertion are necessary to optimize interconnect delay, signal performance and integrity, and interconnect manufacturability and reliability. Repeater insertion in interconnects is an increasingly important element in the physical design of high-performance VLSI systems. By interconnect tuning, we refer to the selection of line thicknesses, widths and spacings in multi-layer interconnect to simultaneously optimize signal distribution, signal performance, signal integrity, and interconnect manufacturability and reliability. This is a key activity in most leading-edge design projects, but has received little attention in the literature. Our work provides the first technology-specific studies of interconnect tuning in the literature. We center on global wiring layers and interconnect tuning issues related to bus routing, repeater insertion, and choice of shielding/spacing rules for signal integrity and performance. We address four basic questions. (1) How should width and spacing be allocated to maximize performance for a given line pitch? (2) For a given line pitch, what criteria affect the optimal interval at which repeaters should be inserted into global interconnects? (3) Under what circumstances are shield wires the optimum technique for improving interconnect performance? (4) In global interconnect with repeaters, what other interconnect tuning is possible? Our study of question (4) demonstrates a new approach of offsetting repeater placements that can reduce worst-case cross-chip delays by over 30% in current technologies.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133843099","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}
引用次数: 39
Interconnect simple, accurate and statistical models using on-chip measurements for calibration 互连简单,准确和统计模型使用芯片上的测量校准
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745135
A. Doganis, James C. Chen
In this work, we will describe and analyze simple, accurate and compact models for interconnect structures. These parameterized models are optimized for the particular fabrication process via field solver simulations and on wafer test structure measurements. Additionally, process variations will be incorporated in the compact models using the principal component analysis (PCA) and performance response surface models (RSM) to derive statistical interconnect models. A new test structure, along with the measurement scheme and the associated extraction methods are introduced here to facilitate the calibration of the interconnect models. Additionally, further tuning of those models with respect to measurements of complex on-chip test structures, such as clock nets, assures model accuracy and circuit performance predictability.
在这项工作中,我们将描述和分析互连结构的简单,准确和紧凑的模型。通过现场求解器模拟和晶圆测试结构测量,对这些参数化模型进行了优化。此外,使用主成分分析(PCA)和性能响应面模型(RSM)将过程变化纳入紧凑模型中,以导出统计互连模型。本文介绍了一种新的测试结构,以及测量方案和相关的提取方法,以方便互连模型的校准。此外,针对复杂片上测试结构(如时钟网)的测量,进一步调整这些模型,确保模型的准确性和电路性能的可预测性。
{"title":"Interconnect simple, accurate and statistical models using on-chip measurements for calibration","authors":"A. Doganis, James C. Chen","doi":"10.1109/ICVD.1999.745135","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745135","url":null,"abstract":"In this work, we will describe and analyze simple, accurate and compact models for interconnect structures. These parameterized models are optimized for the particular fabrication process via field solver simulations and on wafer test structure measurements. Additionally, process variations will be incorporated in the compact models using the principal component analysis (PCA) and performance response surface models (RSM) to derive statistical interconnect models. A new test structure, along with the measurement scheme and the associated extraction methods are introduced here to facilitate the calibration of the interconnect models. Additionally, further tuning of those models with respect to measurements of complex on-chip test structures, such as clock nets, assures model accuracy and circuit performance predictability.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132314444","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
Compact, ultra low power, programmable continuous-time filter banks for feedback cancellation in hearing aid 紧凑型,超低功耗,可编程连续时间滤波器组,用于助听器的反馈消除
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745124
Kavita Nair, R. Harjani
This paper describes the design of a compact, ultra low power continuous time programmable filter. Compact programmable filters are required for a number of applications. A particular application is in feedback cancellation filters in hearing aids. Here, a feedback cancellation filter that matches the open loop transfer function is used to suppress acoustic oscillations. Because of the complexity of the transfer function the number of poles in the cancellation filter is fairly large. To realize an integrated cancellation filter an ultra-low power transconductance cell with large linear range has been designed. Both measurement and simulation results are presented to confirm our design. The power consumption for a transconductance cell is comparable to the theoretical minimum bound and is measured to be 0.8 /spl mu/W at a 3 V supply. The linear input range for this cell is 2 V/sub p-p/. In this paper we also compare our design with a programmable switched capacitor implementation and show that there is a significant savings in area as well. The complete filter has been designed, implemented and fabricated in an 2 /spl mu/ CMOS technology.
本文介绍了一种结构紧凑、超低功耗连续时间可编程滤波器的设计。紧凑的可编程滤波器是许多应用所必需的。一个特殊的应用是在助听器的反馈抵消滤波器。在这里,一个与开环传递函数相匹配的反馈抵消滤波器被用来抑制声学振荡。由于传递函数的复杂性,抵消滤波器中的极点数相当大。为了实现集成对消滤波器,设计了一种具有大线性范围的超低功耗跨导电池。测试和仿真结果验证了我们的设计。跨导电池的功耗与理论最小边界相当,在3v电源下测量为0.8 /spl mu/W。该电池的线性输入范围为2v /sub p-p/。在本文中,我们还将我们的设计与可编程开关电容器的实现进行了比较,并表明在面积上也有显着的节省。完整的滤波器以2 /spl μ m / CMOS工艺设计、实现和制造。
{"title":"Compact, ultra low power, programmable continuous-time filter banks for feedback cancellation in hearing aid","authors":"Kavita Nair, R. Harjani","doi":"10.1109/ICVD.1999.745124","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745124","url":null,"abstract":"This paper describes the design of a compact, ultra low power continuous time programmable filter. Compact programmable filters are required for a number of applications. A particular application is in feedback cancellation filters in hearing aids. Here, a feedback cancellation filter that matches the open loop transfer function is used to suppress acoustic oscillations. Because of the complexity of the transfer function the number of poles in the cancellation filter is fairly large. To realize an integrated cancellation filter an ultra-low power transconductance cell with large linear range has been designed. Both measurement and simulation results are presented to confirm our design. The power consumption for a transconductance cell is comparable to the theoretical minimum bound and is measured to be 0.8 /spl mu/W at a 3 V supply. The linear input range for this cell is 2 V/sub p-p/. In this paper we also compare our design with a programmable switched capacitor implementation and show that there is a significant savings in area as well. The complete filter has been designed, implemented and fabricated in an 2 /spl mu/ CMOS technology.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130012609","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
Lossy compression of images using logic minimization 使用逻辑最小化的有损压缩图像
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745210
J. Augustine, W. Lynch, Yuke Wang, A. Al-Khalili
A technique for lossy compression of images is presented, utilizing ideas of logic minimization. The approach specifically addresses the compression of the binary image data originated in block truncation coding (BTC). The binary vector corresponding to a block of 4/spl times/4 pixels is treated as the output of a Boolean function and prime cubes are generated. The largest prime cube is encoded. Bit rate less than 1.5 bits/pel is attained in BTC without many perceivable errors in the reconstructed grey scale image. Training, pre-stored tables or codebooks, and prior knowledge of the image source are not required by the technique which uses simple logic operations. Computational simplicity of the algorithm makes it suitable for VLSI implementation. Potential of the technique in attaining a rate less than 0.5 bit/pel by applying it on image sequences and extending to blocks of larger size is indicated.
提出了一种利用逻辑最小化思想对图像进行有损压缩的方法。该方法特别解决了源于块截断编码(BTC)的二值图像数据的压缩问题。对应于4/spl乘以/4像素块的二进制向量被视为布尔函数的输出,并生成素数立方。最大的质数立方被编码。在重构的灰度图像中,比特率小于1.5 Bit /pel,且没有明显的可感知误差。该技术使用简单的逻辑操作,不需要训练,预先存储的表或代码本以及图像源的先验知识。该算法计算简单,适合大规模集成电路的实现。指出了该技术通过将其应用于图像序列并扩展到更大尺寸的块而获得小于0.5 bit/pel的速率的潜力。
{"title":"Lossy compression of images using logic minimization","authors":"J. Augustine, W. Lynch, Yuke Wang, A. Al-Khalili","doi":"10.1109/ICVD.1999.745210","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745210","url":null,"abstract":"A technique for lossy compression of images is presented, utilizing ideas of logic minimization. The approach specifically addresses the compression of the binary image data originated in block truncation coding (BTC). The binary vector corresponding to a block of 4/spl times/4 pixels is treated as the output of a Boolean function and prime cubes are generated. The largest prime cube is encoded. Bit rate less than 1.5 bits/pel is attained in BTC without many perceivable errors in the reconstructed grey scale image. Training, pre-stored tables or codebooks, and prior knowledge of the image source are not required by the technique which uses simple logic operations. Computational simplicity of the algorithm makes it suitable for VLSI implementation. Potential of the technique in attaining a rate less than 0.5 bit/pel by applying it on image sequences and extending to blocks of larger size is indicated.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121808137","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}
引用次数: 3
Functional decomposition through structural analysis of decision diagrams-the binary and multiple-valued cases 通过决策图的结构分析进行功能分解——二元和多值情况
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745151
L. Macchiarulo, P. Civera
The problem of disjoint functional decomposition is both an important and difficult task for theoretical reasons and synthesis purposes. The use of efficient representation techniques (decision diagrams) permits a novel approach, which surpasses the preceding ones by identifying graph-structures rather than algebraic relations. In this paper we present a demonstration of a new fact about functional decomposition, and a necessary and sufficient criterion to identify feasible decompositions of a generic function. We implemented and validated the algorithm integrating it in a decision diagram package.
不相交功能分解问题是一个重要而困难的问题,既有理论原因,也有综合目的。高效表示技术(决策图)的使用允许一种新的方法,它通过识别图结构而不是代数关系来超越前面的方法。本文给出了一个关于函数分解的新事实,并给出了一个判别一般函数可行分解的充分必要判据。我们实现并验证了该算法,并将其集成到一个决策图包中。
{"title":"Functional decomposition through structural analysis of decision diagrams-the binary and multiple-valued cases","authors":"L. Macchiarulo, P. Civera","doi":"10.1109/ICVD.1999.745151","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745151","url":null,"abstract":"The problem of disjoint functional decomposition is both an important and difficult task for theoretical reasons and synthesis purposes. The use of efficient representation techniques (decision diagrams) permits a novel approach, which surpasses the preceding ones by identifying graph-structures rather than algebraic relations. In this paper we present a demonstration of a new fact about functional decomposition, and a necessary and sufficient criterion to identify feasible decompositions of a generic function. We implemented and validated the algorithm integrating it in a decision diagram package.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134524056","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
Processor modeling for hardware software codesign 硬件软件协同设计的处理器建模
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745137
V. Rajesh, R. Moona
In hardware-software codesign paradigm often a performance estimation of the system is needed for hardware-software partitioning. The tremendous growth of application specific embedded systems necessitates high level system design tools for rapid prototyping. This work involves design of a language Sim-nML which will be the base for a high level system design environment. The language is simple, elegant and powerful enough to express the behavior of the processor at instruction level. This language is used as the base for a whole set of tools such as assembler/disassembler and simulator generator. As a part of this work, we implemented an instruction set simulator generator which takes Sim-nML description of the processor as input and produces C++ code for performance simulator. We envisage the use of the generated simulator for cycle based analysis of the processor and for performance estimation of the system. This work is primarily an extension of nML language.
在硬件-软件协同设计范例中,通常需要对系统进行性能评估以进行硬件-软件划分。特定应用嵌入式系统的巨大增长需要用于快速原型设计的高级系统设计工具。这项工作涉及设计一种语言Sim-nML,这将是一个高层次的系统设计环境的基础。该语言简单、优雅且功能强大,足以在指令级表达处理器的行为。这种语言被用作一整套工具的基础,例如汇编/反汇编器和模拟器生成器。作为这项工作的一部分,我们实现了一个指令集模拟器生成器,它以处理器的Sim-nML描述作为输入,并生成用于性能模拟器的c++代码。我们设想使用生成的模拟器进行基于周期的处理器分析和系统的性能估计。这项工作主要是对nML语言的扩展。
{"title":"Processor modeling for hardware software codesign","authors":"V. Rajesh, R. Moona","doi":"10.1109/ICVD.1999.745137","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745137","url":null,"abstract":"In hardware-software codesign paradigm often a performance estimation of the system is needed for hardware-software partitioning. The tremendous growth of application specific embedded systems necessitates high level system design tools for rapid prototyping. This work involves design of a language Sim-nML which will be the base for a high level system design environment. The language is simple, elegant and powerful enough to express the behavior of the processor at instruction level. This language is used as the base for a whole set of tools such as assembler/disassembler and simulator generator. As a part of this work, we implemented an instruction set simulator generator which takes Sim-nML description of the processor as input and produces C++ code for performance simulator. We envisage the use of the generated simulator for cycle based analysis of the processor and for performance estimation of the system. This work is primarily an extension of nML language.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116555544","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}
引用次数: 61
Efficient DC analysis of RVJ circuits for moment and derivative computations of interconnect networks RVJ电路的高效直流分析,用于互连网络的力矩和导数计算
Pub Date : 1999-01-10 DOI: 10.1109/ICVD.1999.745144
S. Batterywala, H. Narayanan
In this article we present a method for analysis of electrical networks containing positive resistors, voltage sources and current sources. We lay emphasis on computational aspects like size and positive definiteness of the resulting matrix. Currently the most popular method for analysis of such circuits is modified nodal analysis, which always yields a nonpositive definite matrix whenever voltage sources are present in the circuit. Our method constructs two minors of the underlying graph of the network and then uses these for writing KCE and KVE, thereby resulting in a symmetric positive definite system of equations of smaller size. We exploit the presence of voltage sources, and hence usually get a block diagonal structure in the matrix to be factored. Though our method is general enough and performs better than MNA for all DC circuits, it is specifically aimed towards solving DC circuits encountered during interconnect analysis.
在本文中,我们提出了一种分析含有正电阻、电压源和电流源的电网的方法。我们把重点放在计算方面,如大小和正确定性的结果矩阵。目前最流行的分析电路的方法是修正节点分析,当电路中存在电压源时,它总是产生一个非正定矩阵。我们的方法构建了网络底层图的两个次要部分,然后使用它们来编写KCE和KVE,从而产生较小大小的对称正定方程组。我们利用电压源的存在,因此通常在要分解的矩阵中得到一个块对角结构。虽然我们的方法足够通用,并且对所有直流电路的性能都优于MNA,但它专门用于解决互连分析过程中遇到的直流电路。
{"title":"Efficient DC analysis of RVJ circuits for moment and derivative computations of interconnect networks","authors":"S. Batterywala, H. Narayanan","doi":"10.1109/ICVD.1999.745144","DOIUrl":"https://doi.org/10.1109/ICVD.1999.745144","url":null,"abstract":"In this article we present a method for analysis of electrical networks containing positive resistors, voltage sources and current sources. We lay emphasis on computational aspects like size and positive definiteness of the resulting matrix. Currently the most popular method for analysis of such circuits is modified nodal analysis, which always yields a nonpositive definite matrix whenever voltage sources are present in the circuit. Our method constructs two minors of the underlying graph of the network and then uses these for writing KCE and KVE, thereby resulting in a symmetric positive definite system of equations of smaller size. We exploit the presence of voltage sources, and hence usually get a block diagonal structure in the matrix to be factored. Though our method is general enough and performs better than MNA for all DC circuits, it is specifically aimed towards solving DC circuits encountered during interconnect analysis.","PeriodicalId":443373,"journal":{"name":"Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124184712","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}
引用次数: 11
期刊
Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013)
全部 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