首页 > 最新文献

2010 11th International Symposium on Quality Electronic Design (ISQED)最新文献

英文 中文
Analog placement and global routing considering wiring symmetry 考虑布线对称的模拟放置和全局路由
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450510
Yu-Ming Yang, I. Jiang
Unlike the mature and highly automatic flow for digital layout generation, the existing method to generate an analog layout is far from automatic because it highly depends on the designer's expertise. Prior endeavors are mainly dedicated to analog placement because they consider only the device symmetry constraint. This paper raises the wiring symmetry issue to analog layout: wiring symmetry is as crucial as device symmetry. Hence, we propose an analog placement and global routing algorithm to consider both types of symmetry constraints. During placement, we utilize the device folding technique to enhance the flexibility and feasibility on symmetry. Our results show that our algorithm can produce a promising initial layout to speed up the analog design process.
与成熟且高度自动化的数字版图生成流程不同,现有的模拟版图生成方法远不能实现自动化,因为它高度依赖于设计人员的专业知识。先前的努力主要致力于模拟放置,因为他们只考虑器件对称约束。本文提出了模拟布线的布线对称问题:布线对称与器件对称一样重要。因此,我们提出了一个模拟放置和全局路由算法来考虑这两种类型的对称约束。在放置过程中,我们利用器件折叠技术来增强对称的灵活性和可行性。结果表明,该算法可以产生一个有希望的初始布局,以加快模拟设计过程。
{"title":"Analog placement and global routing considering wiring symmetry","authors":"Yu-Ming Yang, I. Jiang","doi":"10.1109/ISQED.2010.5450510","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450510","url":null,"abstract":"Unlike the mature and highly automatic flow for digital layout generation, the existing method to generate an analog layout is far from automatic because it highly depends on the designer's expertise. Prior endeavors are mainly dedicated to analog placement because they consider only the device symmetry constraint. This paper raises the wiring symmetry issue to analog layout: wiring symmetry is as crucial as device symmetry. Hence, we propose an analog placement and global routing algorithm to consider both types of symmetry constraints. During placement, we utilize the device folding technique to enhance the flexibility and feasibility on symmetry. Our results show that our algorithm can produce a promising initial layout to speed up the analog design process.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115445497","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}
引用次数: 15
An accurate modeling method utilizing application-specific statistical information and its application to SRAM yield estimation 一种利用特定应用统计信息的精确建模方法及其在SRAM产量估算中的应用
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450411
Hidetoshi Matsuoka, Hiroshi Ikeda, H. Higuchi, Yoshinori Tomita
In this paper, we propose a new model construction method utilizing application specific physical information and present its application to SRAM yield calculation. The physical information is extracted as statistical distributions from past simulation results automatically. Experimental results show our method achieves 700x speed up over non modeling method and more than 10x speed up over the conventional modeling method. It requires only 5.3 samples to model a fifth order full cross term polynomial with 21 coefficients and is free from over-fitting and singular matrix problem. This modeling method can be a general approach to create models with application specific physical information.
本文提出了一种利用特定应用物理信息构建模型的新方法,并介绍了其在SRAM成品率计算中的应用。从过去的模拟结果中自动提取物理信息作为统计分布。实验结果表明,该方法比非建模方法速度提高了700倍,比传统建模方法速度提高了10倍以上。它只需要5.3个样本就可以建立一个有21个系数的五阶全交叉项多项式,并且不存在过拟合和奇异矩阵问题。这种建模方法可以作为使用特定于应用程序的物理信息创建模型的通用方法。
{"title":"An accurate modeling method utilizing application-specific statistical information and its application to SRAM yield estimation","authors":"Hidetoshi Matsuoka, Hiroshi Ikeda, H. Higuchi, Yoshinori Tomita","doi":"10.1109/ISQED.2010.5450411","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450411","url":null,"abstract":"In this paper, we propose a new model construction method utilizing application specific physical information and present its application to SRAM yield calculation. The physical information is extracted as statistical distributions from past simulation results automatically. Experimental results show our method achieves 700x speed up over non modeling method and more than 10x speed up over the conventional modeling method. It requires only 5.3 samples to model a fifth order full cross term polynomial with 21 coefficients and is free from over-fitting and singular matrix problem. This modeling method can be a general approach to create models with application specific physical information.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"771 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127151206","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
Optimizing power and throughput for m-out-of-n encoded asynchronous circuits 优化m- of-n编码异步电路的功率和吞吐量
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450406
Jun Xu, Ge Zhang, Weiwu Hu
The m-out-of-n encoded asynchronous circuits are able to implement the truly delay-insensitive circuit operations, but they suffer from higher power dissipation due to the large amount of logic cells. Besides, the throughput of the circuits is also worse than the synchronous counterparts since the four-cycle handshake protocol requires inserting a “NULL” token between two adjacent valid data transmissions. In this paper, we first propose a power gating technique to reduce the leakage power consumption in the idle phase, then figure out a replication method to improve the throughput at the cost of area increase. The evaluation results show that about 85% of leakage power reduction can be obtained when the power gating scheme is employed, and 62% of throughput improvement can be acquired nearly without additional power penalty when both proposals are integrated.
m-out- n编码异步电路能够实现真正意义上的延迟不敏感电路操作,但由于逻辑单元数量庞大,其功耗较高。此外,由于四周期握手协议需要在两个相邻的有效数据传输之间插入一个“NULL”令牌,因此电路的吞吐量也比同步对接物差。在本文中,我们首先提出了一种功率门控技术,以减少空闲阶段的泄漏功耗,然后找出一种复制方法,以增加面积为代价提高吞吐量。评估结果表明,采用功率门控方案可降低泄漏功率约85%,集成两种方案可在不增加功率损失的情况下提高62%的吞吐量。
{"title":"Optimizing power and throughput for m-out-of-n encoded asynchronous circuits","authors":"Jun Xu, Ge Zhang, Weiwu Hu","doi":"10.1109/ISQED.2010.5450406","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450406","url":null,"abstract":"The m-out-of-n encoded asynchronous circuits are able to implement the truly delay-insensitive circuit operations, but they suffer from higher power dissipation due to the large amount of logic cells. Besides, the throughput of the circuits is also worse than the synchronous counterparts since the four-cycle handshake protocol requires inserting a “NULL” token between two adjacent valid data transmissions. In this paper, we first propose a power gating technique to reduce the leakage power consumption in the idle phase, then figure out a replication method to improve the throughput at the cost of area increase. The evaluation results show that about 85% of leakage power reduction can be obtained when the power gating scheme is employed, and 62% of throughput improvement can be acquired nearly without additional power penalty when both proposals are integrated.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124970437","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
Leakage current analysis for intra-chip wireless interconnects 芯片内无线互连的漏电流分析
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450405
A. More, B. Taskin
A simulation-based feasibility study of an intra-chip wireless interconnect system is presented. The wireless interconnect system is modelled in a 250 nm standard complementary metal-oxide semiconductor (CMOS) technology operating at typical conditions. A finite element method (FEM) based 3-D full-wave solver is used to perform the electromagnetic field analysis. In the field analysis, the effects of the radiation of an intra-chip wireless interconnect system operating at 16 GHz on the circuit devices and local metal interconnects at arbitrary distances from the antennas are investigated. It is shown that the transmission gain between the antennas is mostly unaffected by the presence of local metal interconnects. The transmission scattering parameter (s-parameter) between the radiating antenna and the metal interconnects is below −31.66 dB. The leakage current in the sub-threshold region of the transistors, caused by the antenna radiation induced voltages, is shown to be below 2.2 fA and decreasing with distance from the radiating antenna.
提出了一种基于仿真的芯片内无线互联系统的可行性研究。无线互连系统采用250纳米标准互补金属氧化物半导体(CMOS)技术建模,在典型条件下工作。采用基于有限元法的三维全波求解器进行电磁场分析。在现场分析中,研究了工作频率为16 GHz的片内无线互连系统的辐射对距离天线任意距离的电路器件和局部金属互连的影响。结果表明,天线间的传输增益基本上不受局部金属互连存在的影响。辐射天线与金属互连之间的传输散射参数(s-parameter)小于−31.66 dB。由天线辐射感应电压引起的晶体管亚阈值区域的泄漏电流小于2.2 fA,并随着与辐射天线的距离而减小。
{"title":"Leakage current analysis for intra-chip wireless interconnects","authors":"A. More, B. Taskin","doi":"10.1109/ISQED.2010.5450405","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450405","url":null,"abstract":"A simulation-based feasibility study of an intra-chip wireless interconnect system is presented. The wireless interconnect system is modelled in a 250 nm standard complementary metal-oxide semiconductor (CMOS) technology operating at typical conditions. A finite element method (FEM) based 3-D full-wave solver is used to perform the electromagnetic field analysis. In the field analysis, the effects of the radiation of an intra-chip wireless interconnect system operating at 16 GHz on the circuit devices and local metal interconnects at arbitrary distances from the antennas are investigated. It is shown that the transmission gain between the antennas is mostly unaffected by the presence of local metal interconnects. The transmission scattering parameter (s-parameter) between the radiating antenna and the metal interconnects is below −31.66 dB. The leakage current in the sub-threshold region of the transistors, caused by the antenna radiation induced voltages, is shown to be below 2.2 fA and decreasing with distance from the radiating antenna.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124980186","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Post-synthesis sleep transistor insertion for leakage power optimization in clock tree networks 时钟树网络中泄漏功率优化的合成后睡眠晶体管插入
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450530
H. Homayoun, Shahin Golshan, E. Bozorgzadeh, A. Veidenbaum, F. Kurdahi
Leakage power has grown significantly and is a major challenge in SoC design. Among SoC's components, clock distribution network power accounts for a large portion of chip power. In this paper, we propose to deploy sleep transistor insertion (STI) in the clock tree in order to reduce leakage power. We characterize the effect of sleep transistor sharing and sizing on clock tree wakeup time, leakage power, and propagation delay. We use these characteristics during leakage power optimization. We present post synthesis sleep transistor insertion (PSSTI), a heuristic clustering algorithm for sleep transistor insertion with the objective of total power minimization in a given clock tree. Sleep transistor sharing and sizing are deployed in order to meet the clock skew and wakeup delay constraints. We explored the potential benefits of STI using a standard industrial VLSI-CAD flow including sleep-transistor insertion and routing after clock synthesis and place-and-route of the benchmark circuits. Our results show that clock tree leakage power is reduced by 19%–32% depending on the topology of the synthesized clock tree.
泄漏功率已显著增长,是SoC设计的主要挑战。在SoC的组件中,时钟分配网络功耗占芯片功耗的很大一部分。在本文中,我们建议在时钟树中部署休眠晶体管插入(STI),以减少泄漏功率。我们描述了睡眠晶体管共享和尺寸对时钟树唤醒时间、泄漏功率和传播延迟的影响。我们在泄漏功率优化中使用这些特性。我们提出了一种基于启发式聚类算法的后合成睡眠晶体管插入算法(PSSTI),该算法的目标是在给定时钟树下实现总功耗最小化。为了满足时钟倾斜和唤醒延迟的限制,部署了睡眠晶体管共享和尺寸。我们使用标准的工业VLSI-CAD流程探索STI的潜在优势,包括时钟合成后的睡眠晶体管插入和路由以及基准电路的放置和路由。我们的结果表明,根据合成时钟树的拓扑结构,时钟树的泄漏功率降低了19%-32%。
{"title":"Post-synthesis sleep transistor insertion for leakage power optimization in clock tree networks","authors":"H. Homayoun, Shahin Golshan, E. Bozorgzadeh, A. Veidenbaum, F. Kurdahi","doi":"10.1109/ISQED.2010.5450530","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450530","url":null,"abstract":"Leakage power has grown significantly and is a major challenge in SoC design. Among SoC's components, clock distribution network power accounts for a large portion of chip power. In this paper, we propose to deploy sleep transistor insertion (STI) in the clock tree in order to reduce leakage power. We characterize the effect of sleep transistor sharing and sizing on clock tree wakeup time, leakage power, and propagation delay. We use these characteristics during leakage power optimization. We present post synthesis sleep transistor insertion (PSSTI), a heuristic clustering algorithm for sleep transistor insertion with the objective of total power minimization in a given clock tree. Sleep transistor sharing and sizing are deployed in order to meet the clock skew and wakeup delay constraints. We explored the potential benefits of STI using a standard industrial VLSI-CAD flow including sleep-transistor insertion and routing after clock synthesis and place-and-route of the benchmark circuits. Our results show that clock tree leakage power is reduced by 19%–32% depending on the topology of the synthesized clock tree.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"310 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122728328","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
Clock buffer polarity assignment considering capacitive load 考虑容性负载的时钟缓冲极性分配
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450493
Jianchao Lu, B. Taskin
A clock buffer polarity assignment method is proposed that considers the impact of capacitive load on the peak current. It is shown that the peak current on the supply rails of a buffer is a monotonically increasing function of its driving capacitance. Consequently, the polarity of a clock buffer is assigned based on its capacitive load. The proposed method can be applied to assign buffer polarity on any number of levels of the clock tree. In experiments, the peak current on the clock tree in each local area is reduced by 36.3% on average. The worse case peak current of all the local areas are reduced by 35.7% on average. The proposed method is implemented with a pseudo-polynomial dynamic programming scheme demonstrating runtimes under a minute.
提出了一种考虑电容性负载对峰值电流影响的时钟缓冲极性分配方法。结果表明,缓冲器供电轨道上的峰值电流是其驱动电容的单调递增函数。因此,时钟缓冲器的极性是根据其容性负载分配的。所提出的方法可以应用于在时钟树的任意级别上分配缓冲极性。在实验中,时钟树各局部区域的峰值电流平均降低了36.3%。最坏情况下各区域峰值电流平均降低35.7%。该方法采用伪多项式动态规划方案实现,运行时间小于1分钟。
{"title":"Clock buffer polarity assignment considering capacitive load","authors":"Jianchao Lu, B. Taskin","doi":"10.1109/ISQED.2010.5450493","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450493","url":null,"abstract":"A clock buffer polarity assignment method is proposed that considers the impact of capacitive load on the peak current. It is shown that the peak current on the supply rails of a buffer is a monotonically increasing function of its driving capacitance. Consequently, the polarity of a clock buffer is assigned based on its capacitive load. The proposed method can be applied to assign buffer polarity on any number of levels of the clock tree. In experiments, the peak current on the clock tree in each local area is reduced by 36.3% on average. The worse case peak current of all the local areas are reduced by 35.7% on average. The proposed method is implemented with a pseudo-polynomial dynamic programming scheme demonstrating runtimes under a minute.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128805626","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}
引用次数: 15
Robust importance sampling for efficient SRAM yield analysis 有效SRAM成品率分析的鲁棒重要抽样
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450410
Takanori Date, Shiho Hagiwara, K. Masu, Takashi Sato
Monte Carlo simulations have been widely adopted for analyzing circuit properties, such as SRAM yield, under strong influence of process variations. Enormous calculation time is required in such a simulation due to the low defect probabilities. In this paper, we propose a robust shift-vector determination for mean-shift importance sampling, by which efficiency and stability of the Monte Carlo simulation is improved. In the proposed method, the hypersphere sampling is developed to autonomously find the optimal shift-vector. The sampling is also limited to the regions where meaningful contribution to the yield is recognized. Simulation examples reveal that the proposed technique stably and efficiently estimates yield of noise stabilities of an SRAM cell. At the failure probability of 10−10, the number of calculation trials has been reduced by six orders magnitude compared with a conventional Monte Carlo simulation.
蒙特卡罗模拟已被广泛用于分析受工艺变化影响较大的电路特性,如SRAM产率。由于缺陷概率低,这种模拟需要大量的计算时间。本文提出了一种鲁棒的mean-shift重要采样偏移向量确定方法,提高了蒙特卡罗仿真的效率和稳定性。在该方法中,采用超球采样法自动寻找最优位移向量。抽样也仅限于对产量有意义贡献的地区。仿真实例表明,该方法能够稳定有效地估计SRAM单元的噪声稳定产率。在失效概率为10−10的情况下,与传统的蒙特卡罗模拟相比,计算试验次数减少了6个数量级。
{"title":"Robust importance sampling for efficient SRAM yield analysis","authors":"Takanori Date, Shiho Hagiwara, K. Masu, Takashi Sato","doi":"10.1109/ISQED.2010.5450410","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450410","url":null,"abstract":"Monte Carlo simulations have been widely adopted for analyzing circuit properties, such as SRAM yield, under strong influence of process variations. Enormous calculation time is required in such a simulation due to the low defect probabilities. In this paper, we propose a robust shift-vector determination for mean-shift importance sampling, by which efficiency and stability of the Monte Carlo simulation is improved. In the proposed method, the hypersphere sampling is developed to autonomously find the optimal shift-vector. The sampling is also limited to the regions where meaningful contribution to the yield is recognized. Simulation examples reveal that the proposed technique stably and efficiently estimates yield of noise stabilities of an SRAM cell. At the failure probability of 10−10, the number of calculation trials has been reduced by six orders magnitude compared with a conventional Monte Carlo simulation.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114355134","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
Skew analysis and bounded skew constraint methodology for rotary clocking technology 旋转时钟技术的偏差分析和有界偏差约束方法
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450544
V. Honkote, B. Taskin
The square wave generated from the rotary operation with adiabatic switching is a continuously traveling wave, which provides multiple phases of the clock signal on the rotary ring. Recent research in the design automation of rotary clocking implementation has adopted some simplifications of the phase assignments for scalability. Towards this end, the design techniques, employed in conventional IC flows, can be employed for rotary clock automation as well. In this work, a timing framework is developed and skew analysis is presented for the rotary clocking technology to observe the effects of certain design simplifications in timing automation. Further, a methodology is presented to achieve a bounded skew implementation for rotary clocking technology. Experiments performed on R1–R5 benchmark circuits show a negligible increase in wirelength (around 1.25%) for the bounded skew constraint implementation with a 3.5% skew bound, where as, without the bounded skew, overall skew would be 5.5%.
绝热开关旋转操作产生的方波是连续行波,在旋转环上提供多相时钟信号。最近在旋转时钟实现设计自动化方面的研究采用了一些相位分配的简化方法来提高可扩展性。为此,在传统IC流程中采用的设计技术也可以用于旋转时钟自动化。在这项工作中,开发了一个定时框架,并对旋转时钟技术进行了偏差分析,以观察某些设计简化对定时自动化的影响。此外,还提出了一种实现旋转时钟技术有界偏差的方法。在R1-R5基准电路上进行的实验表明,对于具有3.5%倾斜界限的有界倾斜约束实现,无线长度的增加可以忽略不计(约1.25%),其中,如果没有有界倾斜,总体倾斜将为5.5%。
{"title":"Skew analysis and bounded skew constraint methodology for rotary clocking technology","authors":"V. Honkote, B. Taskin","doi":"10.1109/ISQED.2010.5450544","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450544","url":null,"abstract":"The square wave generated from the rotary operation with adiabatic switching is a continuously traveling wave, which provides multiple phases of the clock signal on the rotary ring. Recent research in the design automation of rotary clocking implementation has adopted some simplifications of the phase assignments for scalability. Towards this end, the design techniques, employed in conventional IC flows, can be employed for rotary clock automation as well. In this work, a timing framework is developed and skew analysis is presented for the rotary clocking technology to observe the effects of certain design simplifications in timing automation. Further, a methodology is presented to achieve a bounded skew implementation for rotary clocking technology. Experiments performed on R1–R5 benchmark circuits show a negligible increase in wirelength (around 1.25%) for the bounded skew constraint implementation with a 3.5% skew bound, where as, without the bounded skew, overall skew would be 5.5%.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130112795","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
Multi-programming environment for structure under pads (SUP) and via arrays pattern recognition automated classification system 多编程环境下结构垫(SUP)和通过阵列模式识别的自动分类系统
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450519
S. Yusof, Lau Meng Tee
In today's IC Design, EDA tools are not limited to IC designer's toys. The application of EDA has expanded into a larger scope including generation and extraction of critical information of a design for yield, quality and reliability analysis.
在今天的IC设计中,EDA工具并不局限于IC设计师的玩具。EDA的应用已经扩展到更大的范围,包括生成和提取设计的关键信息,以进行成品率、质量和可靠性分析。
{"title":"Multi-programming environment for structure under pads (SUP) and via arrays pattern recognition automated classification system","authors":"S. Yusof, Lau Meng Tee","doi":"10.1109/ISQED.2010.5450519","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450519","url":null,"abstract":"In today's IC Design, EDA tools are not limited to IC designer's toys. The application of EDA has expanded into a larger scope including generation and extraction of critical information of a design for yield, quality and reliability analysis.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131828054","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
Synthesis and formal verification of on-chip protocol transducers through decomposed specification 通过分解规范实现片上协议传感器的合成与形式化验证
Pub Date : 2010-03-22 DOI: 10.1109/ISQED.2010.5450526
M. Fujita, H. Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto
Protocol transducer which realizes translations between multiple protocols is one of the key components in IP-based design methodology. Although there have been researches on automatic synthesis of such protocol transducers, they cannot efficiently deal with out-of-order type communications frequently found in the state-of-the-art protocols. In this paper we present an automatic synthesis method which can deal with complicated state-of-the-art protocols by clearly separating control and datapath parts of the synthesized protocol transducers and introducing four types of configurations in the datapath parts of the protocol transducers. We also present a formal verification method based on inclusion checking between the given protocol transducer to be verified and the all possible protocol transducers which can be generated through our synthesis method. By using simulation-based filtering methods followed by a complete analysis of the entire design and state space, large and complicated protocol transducers can be efficiently and formally verified. Experimental results show their practical usefulness even for protocol transducers for complicated state-of-the-art protocols.
协议转换器是基于ip的设计方法的关键部件之一,它实现了多个协议之间的转换。虽然已经有了自动合成这种协议换能器的研究,但它们不能有效地处理最先进协议中常见的乱序型通信。本文提出了一种自动合成协议的方法,通过将合成协议传感器的控制部分和数据路径部分明确分离,并在协议传感器的数据路径部分引入四种类型的配置,可以处理复杂的最新协议。我们还提出了一种形式化的验证方法,该方法基于给定的待验证协议换能器与通过我们的合成方法生成的所有可能的协议换能器之间的包含检查。通过采用基于仿真的滤波方法,然后对整个设计和状态空间进行完整的分析,可以有效地正式验证大型复杂的协议换能器。实验结果表明,即使对于复杂的最新协议的协议传感器,它们也是实用的。
{"title":"Synthesis and formal verification of on-chip protocol transducers through decomposed specification","authors":"M. Fujita, H. Tanida, Fei Gao, Tasuku Nishihara, Takeshi Matsumoto","doi":"10.1109/ISQED.2010.5450526","DOIUrl":"https://doi.org/10.1109/ISQED.2010.5450526","url":null,"abstract":"Protocol transducer which realizes translations between multiple protocols is one of the key components in IP-based design methodology. Although there have been researches on automatic synthesis of such protocol transducers, they cannot efficiently deal with out-of-order type communications frequently found in the state-of-the-art protocols. In this paper we present an automatic synthesis method which can deal with complicated state-of-the-art protocols by clearly separating control and datapath parts of the synthesized protocol transducers and introducing four types of configurations in the datapath parts of the protocol transducers. We also present a formal verification method based on inclusion checking between the given protocol transducer to be verified and the all possible protocol transducers which can be generated through our synthesis method. By using simulation-based filtering methods followed by a complete analysis of the entire design and state space, large and complicated protocol transducers can be efficiently and formally verified. Experimental results show their practical usefulness even for protocol transducers for complicated state-of-the-art protocols.","PeriodicalId":369046,"journal":{"name":"2010 11th International Symposium on Quality Electronic Design (ISQED)","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115601317","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
期刊
2010 11th International Symposium on Quality Electronic Design (ISQED)
全部 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