首页 > 最新文献

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

英文 中文
Design of a 6 Gbps continuous-time adaptive equalizer using a voltage rectifier instead of a power detector 用电压整流器代替功率检测器的6gbps连续时间自适应均衡器的设计
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523640
K. Srinivasan, J. Rosenfeld
Two types of voltage rectifiers, CMOS based and diode based, are compared for potential application in an adaptive equalizer feedback loop. The CMOS rectifier, however, works only at lower frequencies and is limited by the maximum rectification frequency. Instead, voltage rectification in an adaptive equalizer is demonstrated by simulation using an ideal Schottky diode. Prior work done by other researchers on this topic, use a power detector, instead of a voltage rectifier. This paper shows that a voltage rectifier, instead of a power detector, can also be used in the adaptive equalizer topology discussed.
比较了基于CMOS和基于二极管的两种电压整流器在自适应均衡器反馈回路中的潜在应用。然而,CMOS整流器只能在较低的频率下工作,并且受到最大整流频率的限制。相反,电压整流在自适应均衡器是通过模拟使用理想肖特基二极管证明。其他研究人员在此主题上所做的先前工作使用功率检测器,而不是电压整流器。本文表明,在讨论的自适应均衡器拓扑中,也可以使用电压整流器代替功率检测器。
{"title":"Design of a 6 Gbps continuous-time adaptive equalizer using a voltage rectifier instead of a power detector","authors":"K. Srinivasan, J. Rosenfeld","doi":"10.1109/ISQED.2013.6523640","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523640","url":null,"abstract":"Two types of voltage rectifiers, CMOS based and diode based, are compared for potential application in an adaptive equalizer feedback loop. The CMOS rectifier, however, works only at lower frequencies and is limited by the maximum rectification frequency. Instead, voltage rectification in an adaptive equalizer is demonstrated by simulation using an ideal Schottky diode. Prior work done by other researchers on this topic, use a power detector, instead of a voltage rectifier. This paper shows that a voltage rectifier, instead of a power detector, can also be used in the adaptive equalizer topology discussed.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129425570","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
Multi-trap RTN parameter extraction based on Bayesian inference 基于贝叶斯推理的多陷阱RTN参数提取
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523672
H. Awano, Hiroshi Tsutsui, H. Ochi, Takashi Sato
This paper presents a new analysis method for estimating the statistical parameters of random telegraph noise (RTN). RTN is characterized by the time constants of carrier capture and emission, and associated changes of threshold voltage. Because trap activities are projected on to the threshold voltage, the separation of time constants and amplitude for each trap is an ill-posed problem. The proposed method solves this problem by statistical method that can reflect the physical generation process of RTN. By using Gibbs sampling algorithm developed in statistical machine learning community, we decompose the measured threshold voltage sequence to time constants and amplitude of each trap. We also demonstrate that the proposed method estimates time constants about 2.1 times more accurately than the existing work that uses hidden Markov model, which contributes to enhance the accuracy of reliability-aware circuit simulation.
提出了一种新的估计随机电报噪声统计参数的分析方法。RTN的特征是载流子捕获和发射的时间常数,以及相应的阈值电压的变化。由于陷阱活动被投射到阈值电压上,每个陷阱的时间常数和振幅的分离是一个不适定问题。该方法采用统计方法,能够反映RTN的物理生成过程,解决了这一问题。利用统计机器学习社区开发的Gibbs采样算法,将测量的阈值电压序列分解为每个陷阱的时间常数和幅度。我们还证明,该方法估计时间常数的精度比使用隐马尔可夫模型的现有工作提高了约2.1倍,有助于提高可靠性感知电路仿真的精度。
{"title":"Multi-trap RTN parameter extraction based on Bayesian inference","authors":"H. Awano, Hiroshi Tsutsui, H. Ochi, Takashi Sato","doi":"10.1109/ISQED.2013.6523672","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523672","url":null,"abstract":"This paper presents a new analysis method for estimating the statistical parameters of random telegraph noise (RTN). RTN is characterized by the time constants of carrier capture and emission, and associated changes of threshold voltage. Because trap activities are projected on to the threshold voltage, the separation of time constants and amplitude for each trap is an ill-posed problem. The proposed method solves this problem by statistical method that can reflect the physical generation process of RTN. By using Gibbs sampling algorithm developed in statistical machine learning community, we decompose the measured threshold voltage sequence to time constants and amplitude of each trap. We also demonstrate that the proposed method estimates time constants about 2.1 times more accurately than the existing work that uses hidden Markov model, which contributes to enhance the accuracy of reliability-aware circuit simulation.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128363213","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}
引用次数: 10
Minimizing simultaneous switching noise at reduced power with constant-voltage power transmission lines for high-speed signaling 用恒压电力传输线在低功率下最大限度地减少高速信号的同时开关噪声
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523689
Satyanarayana Telikepalli, M. Swaminathan, D. Keezer
Signal and power integrity are crucial for ensuring high performance in high speed digital systems. As the operating frequency of digital systems increases, the power and ground bounce created by simultaneous switching noise (SSN) has become a limiting factor for the performance of these devices. SSN is caused by parasitic inductance that exists in the power delivery network (PDN), and voltage fluctuations on the power and ground rails can lead to reduced noise margins and can limit the maximum frequency of a digital device. A new PDN design has been suggested that achieves significantly reduced SSN [1] by replacing the power plane structure with a power transmission line (PTL). In this paper, a new power delivery scheme called Constant Voltage Power Transmission Line (CV-PTL) is shown to significantly reduce switching noise while also lowering power consumption. This concept has been demonstrated through theory, simulation, and measurements.
在高速数字系统中,信号和电源的完整性是保证高性能的关键。随着数字系统工作频率的提高,同时开关噪声(SSN)产生的功率和地弹跳已成为这些设备性能的限制因素。SSN是由电力输送网络(PDN)中存在的寄生电感引起的,电源和地轨上的电压波动会导致噪声裕度降低,并会限制数字设备的最大频率。已经提出了一种新的PDN设计,通过用输电线路(PTL)取代电源平面结构来显著降低SSN[1]。本文提出了一种新的电力传输方案,称为恒压输电线路(CV-PTL),它可以显著降低开关噪声,同时降低功耗。这个概念已经通过理论、模拟和测量得到了证明。
{"title":"Minimizing simultaneous switching noise at reduced power with constant-voltage power transmission lines for high-speed signaling","authors":"Satyanarayana Telikepalli, M. Swaminathan, D. Keezer","doi":"10.1109/ISQED.2013.6523689","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523689","url":null,"abstract":"Signal and power integrity are crucial for ensuring high performance in high speed digital systems. As the operating frequency of digital systems increases, the power and ground bounce created by simultaneous switching noise (SSN) has become a limiting factor for the performance of these devices. SSN is caused by parasitic inductance that exists in the power delivery network (PDN), and voltage fluctuations on the power and ground rails can lead to reduced noise margins and can limit the maximum frequency of a digital device. A new PDN design has been suggested that achieves significantly reduced SSN [1] by replacing the power plane structure with a power transmission line (PTL). In this paper, a new power delivery scheme called Constant Voltage Power Transmission Line (CV-PTL) is shown to significantly reduce switching noise while also lowering power consumption. This concept has been demonstrated through theory, simulation, and measurements.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"129 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122666667","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
Performance validation through implicit removal of infeasible paths of the behavioral description 通过隐式删除行为描述的不可行路径来验证性能
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523665
Dheepakkumaran Jayaraman, S. Tragoudas
In this paper we present a novel algorithm to identify infeasible paths in the behavioral code. The proposed approach initially partitions the behavioral code into segments. At each code segment it stores feasible paths implicitly. It also stores collections of input assignments which are derived using selected statements in the code segment. The method requires state-of-the-art data structures to store feasible paths and the required functions. Experimental results demonstrate the scalability of the proposed method.
在本文中,我们提出了一种新的算法来识别行为代码中的不可行路径。该方法首先将行为代码划分为几个部分。在每个代码段,它隐式地存储可行路径。它还存储输入赋值的集合,这些赋值是使用代码段中的选定语句派生的。该方法需要最先进的数据结构来存储可行的路径和所需的函数。实验结果证明了该方法的可扩展性。
{"title":"Performance validation through implicit removal of infeasible paths of the behavioral description","authors":"Dheepakkumaran Jayaraman, S. Tragoudas","doi":"10.1109/ISQED.2013.6523665","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523665","url":null,"abstract":"In this paper we present a novel algorithm to identify infeasible paths in the behavioral code. The proposed approach initially partitions the behavioral code into segments. At each code segment it stores feasible paths implicitly. It also stores collections of input assignments which are derived using selected statements in the code segment. The method requires state-of-the-art data structures to store feasible paths and the required functions. Experimental results demonstrate the scalability of the proposed method.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123512113","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
Vision-inspired global routing for enhanced performance and reliability 视觉启发的全局路由,增强了性能和可靠性
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523616
J. Shin, N. Dutt, F. Kurdahi
As we enter the deep submicron era, transistors are increasingly added to chips, causing the chips to become hotter in a non-uniform manner. This is due to different processing tasks in different parts of the chips. This thermal gradient also causes a great number of problems such as the reduction in reliability of chips and interconnects due to electromigration, and system performance degradation because of increased delay and lowered clock frequencies. Since these thermal issues exist, interconnect routing, especially global routing, should be performed to consider the temperature distribution of substrates and the actual delay of interconnects. In this paper, we propose a global routing method based on image processing and computer vision techniques in which the probability of chip failure due to interconnect failure is reduced, and performance degradation from increased delay is also prevented. We observed that our method reduced the number of grids in hot regions by up to 50 % when compared with a conventional router, while maintaining the delay of interconnects as small as possible.
随着我们进入深亚微米时代,越来越多的晶体管被添加到芯片中,导致芯片以不均匀的方式变热。这是由于芯片不同部分的处理任务不同。这种热梯度也会导致大量的问题,例如由于电迁移导致芯片和互连可靠性降低,以及由于延迟增加和时钟频率降低而导致系统性能下降。由于这些热问题的存在,在进行互连布线,特别是全局布线时,应考虑衬底的温度分布和互连的实际延迟。在本文中,我们提出了一种基于图像处理和计算机视觉技术的全局路由方法,该方法降低了由于互连故障而导致芯片故障的概率,并且还防止了由于延迟增加而导致的性能下降。我们观察到,与传统路由器相比,我们的方法将热点地区的网格数量减少了50%,同时保持了尽可能小的互连延迟。
{"title":"Vision-inspired global routing for enhanced performance and reliability","authors":"J. Shin, N. Dutt, F. Kurdahi","doi":"10.1109/ISQED.2013.6523616","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523616","url":null,"abstract":"As we enter the deep submicron era, transistors are increasingly added to chips, causing the chips to become hotter in a non-uniform manner. This is due to different processing tasks in different parts of the chips. This thermal gradient also causes a great number of problems such as the reduction in reliability of chips and interconnects due to electromigration, and system performance degradation because of increased delay and lowered clock frequencies. Since these thermal issues exist, interconnect routing, especially global routing, should be performed to consider the temperature distribution of substrates and the actual delay of interconnects. In this paper, we propose a global routing method based on image processing and computer vision techniques in which the probability of chip failure due to interconnect failure is reduced, and performance degradation from increased delay is also prevented. We observed that our method reduced the number of grids in hot regions by up to 50 % when compared with a conventional router, while maintaining the delay of interconnects as small as possible.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"151 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121218089","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
Effect-cause intra-cell diagnosis at transistor level 晶体管水平的因果细胞内诊断
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523652
Zhenzhou Sun, A. Bosio, L. Dilillo, P. Girard, A. Todri, A. Virazel, E. Auvray
Logic diagnosis is the process of isolating possible sources of observed errors in a defective circuit, so that physical failure analysis can be performed to determine the root cause of such errors. Thus, effective and accurate logic diagnosis is crucial to speed up physical failure analysis process and eventually to improve the yield. In this paper, we propose a new intra-cell diagnosis method based on the “Effect-Cause” approach to improve the defect localization accuracy. The proposed approach is based on the Critical Path Tracing here applied at transistor level. It leads to a precise localization of the root cause of observed errors. Experimental results show the efficiency of our approach.
逻辑诊断是在有缺陷的电路中隔离观察到的错误的可能来源的过程,以便进行物理故障分析以确定此类错误的根本原因。因此,有效准确的逻辑诊断对于加快物理失效分析过程,最终提高成品率至关重要。为了提高缺陷定位的准确性,本文提出了一种基于“因果法”的细胞内诊断方法。提出的方法是基于关键路径跟踪,这里应用在晶体管级。它可以精确定位观察到的错误的根本原因。实验结果表明了该方法的有效性。
{"title":"Effect-cause intra-cell diagnosis at transistor level","authors":"Zhenzhou Sun, A. Bosio, L. Dilillo, P. Girard, A. Todri, A. Virazel, E. Auvray","doi":"10.1109/ISQED.2013.6523652","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523652","url":null,"abstract":"Logic diagnosis is the process of isolating possible sources of observed errors in a defective circuit, so that physical failure analysis can be performed to determine the root cause of such errors. Thus, effective and accurate logic diagnosis is crucial to speed up physical failure analysis process and eventually to improve the yield. In this paper, we propose a new intra-cell diagnosis method based on the “Effect-Cause” approach to improve the defect localization accuracy. The proposed approach is based on the Critical Path Tracing here applied at transistor level. It leads to a precise localization of the root cause of observed errors. Experimental results show the efficiency of our approach.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121328506","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}
引用次数: 12
A CMOS high dimming ratio power-LED driver with a preloading inductor current method 一种带预载电感电流法的CMOS高调光比功率led驱动器
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523688
K. Yoon, Keon Lee
This paper presents a high dimming ratio LED driver for automotive lighting applications which require avoiding EMI radiation. In order to accomplish a high dimming ratio LED driver, the preloading inductor current methodology is proposed for the power stage of the proposed circuit to achieve the fast transient response time during the LED load switching. The proposed circuit receives the input voltage of 12V and generates the output voltage of 30V with the load current of 350mA. The chip is implemented with 0.35um BCDMOS process, and the die area is 2.35 × 2.35 mm2. Measurement results illustrate that the proposed LED drive system features the minimum rising time as small as 240ns and the corresponding dimming ratio becomes 2000:1 at the dimming frequency of 1KHz. The maximum power conversion efficiency of the chip is measured to be 94.82%.
本文提出了一种高调光比的LED驱动器,用于需要避免电磁干扰辐射的汽车照明。为了实现高调光比的LED驱动,在电路的功率级提出了预加载电感电流方法,以实现LED负载切换时的快速瞬态响应时间。本设计电路接收12V输入电压,产生30V输出电压,负载电流350mA。该芯片采用0.35um的BCDMOS工艺实现,芯片面积为2.35 × 2.35 mm2。测量结果表明,在调光频率为1KHz时,所提出的LED驱动系统的最小上升时间小至240ns,相应的调光比为2000:1。该芯片的最大功率转换效率为94.82%。
{"title":"A CMOS high dimming ratio power-LED driver with a preloading inductor current method","authors":"K. Yoon, Keon Lee","doi":"10.1109/ISQED.2013.6523688","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523688","url":null,"abstract":"This paper presents a high dimming ratio LED driver for automotive lighting applications which require avoiding EMI radiation. In order to accomplish a high dimming ratio LED driver, the preloading inductor current methodology is proposed for the power stage of the proposed circuit to achieve the fast transient response time during the LED load switching. The proposed circuit receives the input voltage of 12V and generates the output voltage of 30V with the load current of 350mA. The chip is implemented with 0.35um BCDMOS process, and the die area is 2.35 × 2.35 mm2. Measurement results illustrate that the proposed LED drive system features the minimum rising time as small as 240ns and the corresponding dimming ratio becomes 2000:1 at the dimming frequency of 1KHz. The maximum power conversion efficiency of the chip is measured to be 94.82%.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132700516","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
Analysis and comparison of XOR cell structures for low voltage circuit design 低压电路设计中异或单元结构的分析与比较
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523687
S. Nishizawa, T. Ishihara, H. Onodera
The performance of standard cells has a strong impact on the performance of a circuit synthesized with the cells. Although a complementary CMOS logic is usually used in the standard cells, it is known that a pass transistor logic can improve the performance of a circuit with a smaller area in some cases. We evaluate different types of XOR cells in different voltage conditions. Results show that the dual pass transistor XOR has a better performance than the complementary CMOS XOR in 0.6V operation, while the complementary CMOS XOR has a better performance in 1.2 V operation. More specifically, the area and the power consumption of a benchmark circuit composed of the dual pass transistor XOR can be reduced by 24% and 35%, respectively, compared to those of the same circuit composed of the complementary CMOS XOR in 0.6V operation.
标准电池的性能对用标准电池合成的电路的性能有很大的影响。虽然互补的CMOS逻辑通常用于标准单元,但众所周知,在某些情况下,通过晶体管逻辑可以提高具有较小面积的电路的性能。我们评估了不同电压条件下不同类型的异或电池。结果表明,双通晶体管XOR在0.6V工作时的性能优于互补CMOS XOR,而互补CMOS XOR在1.2 V工作时的性能优于互补CMOS XOR。更具体地说,由双通晶体管XOR组成的基准电路在0.6V工作时,与由互补CMOS XOR组成的相同电路相比,其面积和功耗分别可减少24%和35%。
{"title":"Analysis and comparison of XOR cell structures for low voltage circuit design","authors":"S. Nishizawa, T. Ishihara, H. Onodera","doi":"10.1109/ISQED.2013.6523687","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523687","url":null,"abstract":"The performance of standard cells has a strong impact on the performance of a circuit synthesized with the cells. Although a complementary CMOS logic is usually used in the standard cells, it is known that a pass transistor logic can improve the performance of a circuit with a smaller area in some cases. We evaluate different types of XOR cells in different voltage conditions. Results show that the dual pass transistor XOR has a better performance than the complementary CMOS XOR in 0.6V operation, while the complementary CMOS XOR has a better performance in 1.2 V operation. More specifically, the area and the power consumption of a benchmark circuit composed of the dual pass transistor XOR can be reduced by 24% and 35%, respectively, compared to those of the same circuit composed of the complementary CMOS XOR in 0.6V operation.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"553 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133322215","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}
引用次数: 17
System-level modelling of dynamic reconfigurable designs using functional programming abstractions 使用函数式编程抽象的动态可重构设计的系统级建模
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523639
Bahram N. Uchevler, K. Svarstad, J. Kuper, Christiaan Baaij
With the increasing size and complexity of designs in electronics, new approaches are required for the description and verification of digital circuits, specifically at the system level. Functional HDLs can appear as an advantageous choice for formal verification and high-level descriptions. In this paper we explain how to use high-level structures and concepts like higher-order functions, and parametrization together with partial evaluation implementation technique, to describe run-time reconfigurable systems in Haskell. We use the CLaSH tool to translate high-level Haskell descriptions into RT level, synthesizable VHDL. A simple design is used to show the ideas and is implemented on Suzaku-sz410 board for practical proof of concept.
随着电子设计的尺寸和复杂性的增加,需要新的方法来描述和验证数字电路,特别是在系统级。对于正式验证和高级描述来说,功能性hdl是一种有利的选择。在本文中,我们解释了如何使用高级结构和概念,如高阶函数,参数化和部分求值实现技术,来描述Haskell中的运行时可重构系统。我们使用CLaSH工具将高级Haskell描述转换为RT级别的、可合成的VHDL。用一个简单的设计来展示思想,并在Suzaku-sz410板上实现了概念的实际验证。
{"title":"System-level modelling of dynamic reconfigurable designs using functional programming abstractions","authors":"Bahram N. Uchevler, K. Svarstad, J. Kuper, Christiaan Baaij","doi":"10.1109/ISQED.2013.6523639","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523639","url":null,"abstract":"With the increasing size and complexity of designs in electronics, new approaches are required for the description and verification of digital circuits, specifically at the system level. Functional HDLs can appear as an advantageous choice for formal verification and high-level descriptions. In this paper we explain how to use high-level structures and concepts like higher-order functions, and parametrization together with partial evaluation implementation technique, to describe run-time reconfigurable systems in Haskell. We use the CLaSH tool to translate high-level Haskell descriptions into RT level, synthesizable VHDL. A simple design is used to show the ideas and is implemented on Suzaku-sz410 board for practical proof of concept.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"2011 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133178950","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
Cost-efficient scheduling in high-level synthesis for Soft-Error Vulnerability Mitigation 针对软错误漏洞缓解的高级综合中的成本效益调度
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523658
Yuko Hara-Azumi, H. Tomiyama
Due to the continuous reduction in chip feature size and supply voltage, soft errors are becoming a serious problem in the today's LSI design. Most literature on system-level design techniques has been conventionally tackling this issue by spatial and/or temporal modular redundancy, whose cost in circuit area and performance is large. This paper proposes a soft error-aware scheduling method in high-level synthesis (HLS), which does not rely on such expensive, conventional techniques. The reliability of the datapath circuit is determined not only by that of hardware resources to which operations and values are assigned, but also that of their active time (i.e., time during which operational results should be correct). By considering both of these factors, our proposed method schedules operations so that the reliability of HLS-generated datapath circuits can be maximized under designer-given area/latency constraints. Experimental results demonstrate the effectiveness of our method over existing methods, especially for strict area/latency constraints.
由于芯片特征尺寸和电源电压的不断减小,软误差正在成为当今LSI设计中的一个严重问题。大多数关于系统级设计技术的文献传统上都是通过空间和/或时间模块冗余来解决这个问题,这在电路面积和性能上的成本很大。本文提出了一种高级综合(HLS)中的软错误感知调度方法,该方法不依赖于昂贵的传统技术。数据路径电路的可靠性不仅取决于分配给其操作和值的硬件资源的可靠性,还取决于它们的活动时间(即操作结果应该正确的时间)。通过考虑这两个因素,我们提出的方法调度操作,使hls生成的数据路径电路的可靠性可以在设计人员给定的面积/延迟约束下最大化。实验结果证明了我们的方法比现有方法的有效性,特别是在严格的面积/延迟约束下。
{"title":"Cost-efficient scheduling in high-level synthesis for Soft-Error Vulnerability Mitigation","authors":"Yuko Hara-Azumi, H. Tomiyama","doi":"10.1109/ISQED.2013.6523658","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523658","url":null,"abstract":"Due to the continuous reduction in chip feature size and supply voltage, soft errors are becoming a serious problem in the today's LSI design. Most literature on system-level design techniques has been conventionally tackling this issue by spatial and/or temporal modular redundancy, whose cost in circuit area and performance is large. This paper proposes a soft error-aware scheduling method in high-level synthesis (HLS), which does not rely on such expensive, conventional techniques. The reliability of the datapath circuit is determined not only by that of hardware resources to which operations and values are assigned, but also that of their active time (i.e., time during which operational results should be correct). By considering both of these factors, our proposed method schedules operations so that the reliability of HLS-generated datapath circuits can be maximized under designer-given area/latency constraints. Experimental results demonstrate the effectiveness of our method over existing methods, especially for strict area/latency constraints.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-03-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130522779","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}
引用次数: 8
期刊
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学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1