首页 > 最新文献

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

英文 中文
Device design and analysis of logic circuits and SRAMs for Germanium FinFETs on SOI and bulk substrates 基于SOI和块状衬底的锗finfet逻辑电路和sram的器件设计与分析
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523633
V. Hu, M. Fan, P. Su, C. Chuang
A comparative analysis of Germanium-on-Insulator FinFET (GeOI FinFET) and Germanium on bulk substrate FinFET (Ge bulk FinFET) at device and circuit level with respect to Si counterparts is presented. GeOI FinFET shows larger leakage current than Ge bulk FinFET due to the parasitic bipolar effect triggered by the band-to-band tunneling (BTBT) leakage. The effectiveness of different dual-Vt technology options including increasing channel doping, increasing gate length and drain-side underlap for leakage reduction is analyzed for GeOI and Ge bulk FinFET circuits and SRAMs. An optimum asymmetric underlap design in SRAM using asymmetric underlap pull-up and access transistors (PUAX-asym) is proposed. GeOI and Ge bulk FinFETs with asymmetric underlap design show significant improvement in leakage-delay performance and stability in logic circuits and SRAM cells.
比较分析了绝缘体上锗FinFET (GeOI FinFET)和体基上锗FinFET (Ge bulk FinFET)在器件和电路水平上与硅FinFET的对比。由于带间隧穿(BTBT)泄漏引发的寄生双极效应,GeOI FinFET的泄漏电流比Ge体FinFET大。分析了不同双vt技术选项的有效性,包括增加通道掺杂,增加栅极长度和漏极侧underlap以减少泄漏,用于GeOI和Ge体FinFET电路和sram。提出了一种基于非对称下接上拉和接入晶体管(PUAX-asym)的SRAM非对称下接优化设计。采用非对称下包设计的GeOI和Ge体finfet在逻辑电路和SRAM单元中的泄漏延迟性能和稳定性方面有显著改善。
{"title":"Device design and analysis of logic circuits and SRAMs for Germanium FinFETs on SOI and bulk substrates","authors":"V. Hu, M. Fan, P. Su, C. Chuang","doi":"10.1109/ISQED.2013.6523633","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523633","url":null,"abstract":"A comparative analysis of Germanium-on-Insulator FinFET (GeOI FinFET) and Germanium on bulk substrate FinFET (Ge bulk FinFET) at device and circuit level with respect to Si counterparts is presented. GeOI FinFET shows larger leakage current than Ge bulk FinFET due to the parasitic bipolar effect triggered by the band-to-band tunneling (BTBT) leakage. The effectiveness of different dual-Vt technology options including increasing channel doping, increasing gate length and drain-side underlap for leakage reduction is analyzed for GeOI and Ge bulk FinFET circuits and SRAMs. An optimum asymmetric underlap design in SRAM using asymmetric underlap pull-up and access transistors (PUAX-asym) is proposed. GeOI and Ge bulk FinFETs with asymmetric underlap design show significant improvement in leakage-delay performance and stability in logic circuits and SRAM cells.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"15 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":"125040082","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
An efficient method for ECSM characterization of CMOS inverter in nanometer range technologies 一种纳米范围内CMOS逆变器ECSM表征的有效方法
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523681
B. Kaur, S. Miryala, S. Manhas, B. Anand
Accurate estimation of delay is a major challenge in current nanometer regime using Non Linear Delay Model (NLDM) due to issues such as parametric variation, nonlinear capacitance value etc. It demands a large number of simulations to be performed for getting the accurate delay values. To partly solve this issue, people have started using Effective Current Source Model (ECSM), which stores certain predefined Threshold Crossing Point (TCP) of the output voltage waveform with respect to different input transition time (TR) values and load capacitance (Cl). In this work, we propose an analytical timing model relating 10% - 90% TCPs with Cl and TR values. We also derive the relationship between the cell size and the model coefficients. We also derive the region of validity of the model in (TR, Cl) space and determine its relationship with cell size. The proposed model is in good agreement with HSPICE simulations with a maximum relative error of 2.5%. We verified the proposed model with technology scaling. We use this model and the relationships to reduce the number of simulations in ECSM library characterization.
由于参数变化、电容值非线性等问题,在当前纳米体系中,利用非线性延迟模型(NLDM)准确估计延迟是一个重大挑战。为了得到准确的延迟值,需要进行大量的仿真。为了部分解决这个问题,人们已经开始使用有效电流源模型(ECSM),它存储了相对于不同输入过渡时间(TR)值和负载电容(Cl)的输出电压波形的某些预定义阈值交叉点(TCP)。在这项工作中,我们提出了一个关于10% - 90% tcp与Cl和TR值的分析时序模型。我们还推导了单元格大小与模型系数之间的关系。我们还推导了模型在(TR, Cl)空间中的有效区域,并确定了其与细胞大小的关系。该模型是在良好的协议与HSPICE模拟的最大相对误差为2.5%。我们用技术尺度验证了所提出的模型。我们使用该模型和关系来减少ECSM库表征中的模拟次数。
{"title":"An efficient method for ECSM characterization of CMOS inverter in nanometer range technologies","authors":"B. Kaur, S. Miryala, S. Manhas, B. Anand","doi":"10.1109/ISQED.2013.6523681","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523681","url":null,"abstract":"Accurate estimation of delay is a major challenge in current nanometer regime using Non Linear Delay Model (NLDM) due to issues such as parametric variation, nonlinear capacitance value etc. It demands a large number of simulations to be performed for getting the accurate delay values. To partly solve this issue, people have started using Effective Current Source Model (ECSM), which stores certain predefined Threshold Crossing Point (TCP) of the output voltage waveform with respect to different input transition time (TR) values and load capacitance (Cl). In this work, we propose an analytical timing model relating 10% - 90% TCPs with Cl and TR values. We also derive the relationship between the cell size and the model coefficients. We also derive the region of validity of the model in (TR, Cl) space and determine its relationship with cell size. The proposed model is in good agreement with HSPICE simulations with a maximum relative error of 2.5%. We verified the proposed model with technology scaling. We use this model and the relationships to reduce the number of simulations in ECSM library characterization.","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":"129094789","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
On a rewriting strategy for dynamically managing power constraints and power dissipation in SoCs 一种动态管理soc中功率约束与功耗的重写策略
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523600
V. Viswanath, R. Muralidhar, Harinarayanan Seshadri, J. Abraham
We present a novel and highly automated technique for dynamic system level power management of System-on-a-Chip (SoC) designs. We present a formal system to represent power constraints and power intent as rules. We also present a Term Rewriting Systems based rule rewriting engine as our dynamic power manager. We provide a notion of formal correctness of our rule engine execution and provide a robust algorithm to dynamically and automatically manage power consumption in large SoC designs. There are two fundamental building blocks at the core of our technique. First, we present a powerful formal system to capture power constraints and power intent as rules. This is a self-checking system and will automatically flag conflicting constraints or rules. Next, we present a rewriting strategy for managing power constraint rules using a formal deductive logic technique specially honed for dynamic power management of SoC designs. Together, this provides a common platform and representation to seamlessly cooperate between hardware and software constraints to achieve maximum platform power optimization dynamically during execution. We demonstrate our technique in multiple contexts on an SoC design of the state-of-the-art next generation Intel smartphone platform.
我们提出一种新颖且高度自动化的技术,用于片上系统(SoC)设计的动态系统级电源管理。我们提出了一个形式化的系统,将权力约束和权力意图表示为规则。我们还提出了一个基于术语重写系统的规则重写引擎作为我们的动态电源管理器。我们提供了规则引擎执行的形式正确性概念,并提供了一个健壮的算法来动态和自动地管理大型SoC设计中的功耗。我们的技术核心有两个基本的构建块。首先,我们提出了一个强大的形式系统来捕捉权力约束和权力意图作为规则。这是一个自检系统,将自动标记冲突的约束或规则。接下来,我们提出了一种用于管理功率约束规则的重写策略,该策略使用了一种专门用于SoC设计动态功率管理的形式演绎逻辑技术。总之,这提供了一个公共平台和表示,可以在硬件和软件约束之间无缝协作,从而在执行期间动态实现最大的平台功率优化。我们在最先进的下一代英特尔智能手机平台的SoC设计上展示了我们的技术在多种环境下的应用。
{"title":"On a rewriting strategy for dynamically managing power constraints and power dissipation in SoCs","authors":"V. Viswanath, R. Muralidhar, Harinarayanan Seshadri, J. Abraham","doi":"10.1109/ISQED.2013.6523600","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523600","url":null,"abstract":"We present a novel and highly automated technique for dynamic system level power management of System-on-a-Chip (SoC) designs. We present a formal system to represent power constraints and power intent as rules. We also present a Term Rewriting Systems based rule rewriting engine as our dynamic power manager. We provide a notion of formal correctness of our rule engine execution and provide a robust algorithm to dynamically and automatically manage power consumption in large SoC designs. There are two fundamental building blocks at the core of our technique. First, we present a powerful formal system to capture power constraints and power intent as rules. This is a self-checking system and will automatically flag conflicting constraints or rules. Next, we present a rewriting strategy for managing power constraint rules using a formal deductive logic technique specially honed for dynamic power management of SoC designs. Together, this provides a common platform and representation to seamlessly cooperate between hardware and software constraints to achieve maximum platform power optimization dynamically during execution. We demonstrate our technique in multiple contexts on an SoC design of the state-of-the-art next generation Intel smartphone platform.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"59 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":"129228815","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
A novel flow for reducing clock skew considering NBTI effect and process variations 一种考虑NBTI效应和工艺变化的减小时钟偏差的新流程
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523630
Jifeng Chen, M. Tehranipoor
Negative bias temperature instability (NBTI) has emerged as a major concern not only to the functional circuits, but also to the clock tree. Further aggravated by process variations, aging-induced reliability issue becomes more challenging when technology further scales. Development of effective solutions for reducing clock skew and compensating aging effect under process variations remains as a challenge. Taking the impact from NBTI and process variations into account, we propose a novel flow for reducing clock skew by selectively replacing standard-Vth clock buffers with their high-Vth counterparts. An extended “divide and conquer” algorithm is developed to identify the critical clock buffers for replacement. The area overhead of our proposed flow is negligible, and the power consumption is reduced as well. Simulation results show that the proposed flow can effectively reduce the clock skew by at least 20% by replacing only 1.08% clock buffers on average for 10 years of degradation, even under an extremely constrained condition. The efficiency of our flow will be higher when the clock tree structure has a higher depth, rendering it more favorable for large-scale industry designs.
负偏置温度不稳定性(NBTI)已成为功能电路和时钟树关注的主要问题。随着技术的进一步发展,工艺变化进一步加剧了老化引起的可靠性问题。开发有效的解决方案来减少时钟偏差和补偿工艺变化下的老化效应仍然是一个挑战。考虑到NBTI和过程变化的影响,我们提出了一种新的流程,通过选择性地用高v值时钟缓冲替换标准v值时钟缓冲来减少时钟倾斜。开发了一种扩展的“分而治之”算法来识别需要替换的关键时钟缓冲区。我们提出的流的面积开销可以忽略不计,并且功耗也降低了。仿真结果表明,即使在极端约束条件下,该流在10年的退化时间内平均仅更换1.08%的时钟缓冲区,也能有效地减少至少20%的时钟偏差。时钟树结构深度越深,我们的流程效率越高,更有利于大规模的工业设计。
{"title":"A novel flow for reducing clock skew considering NBTI effect and process variations","authors":"Jifeng Chen, M. Tehranipoor","doi":"10.1109/ISQED.2013.6523630","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523630","url":null,"abstract":"Negative bias temperature instability (NBTI) has emerged as a major concern not only to the functional circuits, but also to the clock tree. Further aggravated by process variations, aging-induced reliability issue becomes more challenging when technology further scales. Development of effective solutions for reducing clock skew and compensating aging effect under process variations remains as a challenge. Taking the impact from NBTI and process variations into account, we propose a novel flow for reducing clock skew by selectively replacing standard-Vth clock buffers with their high-Vth counterparts. An extended “divide and conquer” algorithm is developed to identify the critical clock buffers for replacement. The area overhead of our proposed flow is negligible, and the power consumption is reduced as well. Simulation results show that the proposed flow can effectively reduce the clock skew by at least 20% by replacing only 1.08% clock buffers on average for 10 years of degradation, even under an extremely constrained condition. The efficiency of our flow will be higher when the clock tree structure has a higher depth, rendering it more favorable for large-scale industry designs.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"23 7 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":"122444368","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
A low power detection routing method for bufferless NoC 无缓冲NoC的低功耗检测路由方法
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523636
C. Hsu, K. Tsai, Jing-Fu Jheng, S. Ruan, Chung-An Shen
Network-on-Chip has been proposed for high performance on-chip communication. The major component of a Network-on-Chip architecture is the router, which affects the data transmission latency, chip area and power consumption. Inside the router, buffers occupy a significant a mount of power and a large partition of chip area. Therefore bufferless NoC, which discards the buffers in the routers, has been proposed for solving the power and area problem. In this paper, a low power deflection routing method is proposed for the bufferless on-chip network dealing with the routing problem and achieving the low power goal. The proposed method uses routing matrix for constructing the possible routing path, and then selects the best route for each data packet. Only few calculations are used in this method therefore lowering power consumption the low power goal. The experimental result shows that the proposed approach can greatly reduce power consumption and chip are compared with previous work.
为了实现高性能的片上通信,人们提出了片上网络。片上网络架构的主要组成部分是路由器,它影响数据传输延迟、芯片面积和功耗。在路由器内部,缓冲区占用了大量的功率和很大的芯片面积。因此,为了解决功耗和面积问题,人们提出了一种无缓冲NoC,即丢弃路由器中的缓冲区。针对无缓冲片上网络的路由问题,提出了一种低功耗偏转路由方法,以达到低功耗的目的。该方法利用路由矩阵构造可能的路由路径,然后为每个数据包选择最佳路由。该方法只需要很少的计算,因此降低了功耗,实现了低功耗的目标。实验结果表明,与以往的工作相比,该方法大大降低了功耗和芯片性能。
{"title":"A low power detection routing method for bufferless NoC","authors":"C. Hsu, K. Tsai, Jing-Fu Jheng, S. Ruan, Chung-An Shen","doi":"10.1109/ISQED.2013.6523636","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523636","url":null,"abstract":"Network-on-Chip has been proposed for high performance on-chip communication. The major component of a Network-on-Chip architecture is the router, which affects the data transmission latency, chip area and power consumption. Inside the router, buffers occupy a significant a mount of power and a large partition of chip area. Therefore bufferless NoC, which discards the buffers in the routers, has been proposed for solving the power and area problem. In this paper, a low power deflection routing method is proposed for the bufferless on-chip network dealing with the routing problem and achieving the low power goal. The proposed method uses routing matrix for constructing the possible routing path, and then selects the best route for each data packet. Only few calculations are used in this method therefore lowering power consumption the low power goal. The experimental result shows that the proposed approach can greatly reduce power consumption and chip are compared with previous work.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"134 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":"130675751","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
Min-cut based leakage power aware scheduling in high-level synthesis 基于最小截点的高阶综合漏功率感知调度
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523605
Nan Wang, Song Chen, T. Yoshimura
In this paper, we address the problem of scheduling operations into control steps with dual threshold voltage (dual-Vth) technique under timing and resource constraints. We present a min-cut based algorithm for leakage power optimization. The proposed algorithm first initializes all the operations to high-Vth, then iteratively shorten the critical path delay by reassigning the set of operations covering all the critical paths to low-Vth until the timing constraints are met. A modified force-directed scheduling is implemented to schedule operations and to adjust threshold voltage assignments with consideration of resource constraints. During this procedure, mobility overlap graph (MOG) is constructed based on the mobilities of high-Vth operations. To guarantee the resource constraints are satisfied, operations' threshold voltages are adjusted by computing the min-cut of MOG. Experimental results show that our method performs better both in running time and leakage power reduction compared with MWIS_heuristic [3].
在本文中,我们解决了在时间和资源约束下,使用双阈值电压(双vth)技术将操作调度到控制步骤的问题。提出了一种基于最小割的泄漏功率优化算法。该算法首先将所有操作初始化为高vth,然后通过将覆盖所有关键路径的操作集重新分配到低vth,迭代地缩短关键路径延迟,直到满足时间约束。在考虑资源约束的情况下,实现了一种改进的力导向调度来调度操作和调整阈值电压分配。在此过程中,基于高vth操作的迁移率构造迁移率重叠图(MOG)。为了保证满足资源约束,通过计算MOG的最小切割来调整操作的阈值电压。实验结果表明,与MWIS_heuristic[3]相比,我们的方法在运行时间和减少泄漏功率方面都有更好的表现。
{"title":"Min-cut based leakage power aware scheduling in high-level synthesis","authors":"Nan Wang, Song Chen, T. Yoshimura","doi":"10.1109/ISQED.2013.6523605","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523605","url":null,"abstract":"In this paper, we address the problem of scheduling operations into control steps with dual threshold voltage (dual-Vth) technique under timing and resource constraints. We present a min-cut based algorithm for leakage power optimization. The proposed algorithm first initializes all the operations to high-Vth, then iteratively shorten the critical path delay by reassigning the set of operations covering all the critical paths to low-Vth until the timing constraints are met. A modified force-directed scheduling is implemented to schedule operations and to adjust threshold voltage assignments with consideration of resource constraints. During this procedure, mobility overlap graph (MOG) is constructed based on the mobilities of high-Vth operations. To guarantee the resource constraints are satisfied, operations' threshold voltages are adjusted by computing the min-cut of MOG. Experimental results show that our method performs better both in running time and leakage power reduction compared with MWIS_heuristic [3].","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"38 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":"125499986","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Multi-objective optimization algorithm for efficient pin-constrained droplet routing technique in digital microfluidic biochip 数字微流控生物芯片中高效管脚约束液滴路径技术的多目标优化算法
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523618
Soumyajit Chatterjee, H. Rahaman, T. Samanta
Design automation for digital microfluidic biochip comprises of many combinatorial optimization problems, which are NP-complete in nature. Efficient optimization algorithms to solve them is in dearth till date. In this paper, we propose a multi-objective optimization algorithm that simultaneously minimizes several resources during bioassay operations in a digital microfluidic biochip. We design the progressive droplet routing as a constrained multi-objective optimization problem considering three objective functions to be optimized, named (i) electrode usages, (ii) routing completion time, or latest arrival time, and (iii) control pin allocation. A composite objective function is constructed by a weighted sum of the first two objective functions. This composite function is minimized pertaining to an upper bound on the third objective function, control pin allocation. A fractional constant weight factor (λ) is chosen to confer upon the necessary weightage on the two factors involved in the composite objective function for accurate optimization procedure. We perform experimentations with several existing benchmarks, and experimental results are quite encouraging.
数字微流控生物芯片的设计自动化包括许多组合优化问题,这些问题本质上是np完全的。迄今为止,还没有有效的优化算法来解决这些问题。在本文中,我们提出了一种多目标优化算法,该算法可以在数字微流控生物芯片的生物分析操作中同时最小化几种资源。我们将渐进式液滴路径设计为一个约束多目标优化问题,考虑三个目标函数进行优化,分别为(i)电极使用量,(ii)路径完成时间或最后到达时间,以及(iii)控制引脚分配。复合目标函数由前两个目标函数的加权和构成。这个复合函数被最小化到第三个目标函数的上界,即控制引脚分配。一个分数常数权重因子(λ)被选择赋予必要的权重对两个因素所涉及的复合目标函数的精确优化过程。我们对几个现有的基准进行了实验,实验结果非常令人鼓舞。
{"title":"Multi-objective optimization algorithm for efficient pin-constrained droplet routing technique in digital microfluidic biochip","authors":"Soumyajit Chatterjee, H. Rahaman, T. Samanta","doi":"10.1109/ISQED.2013.6523618","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523618","url":null,"abstract":"Design automation for digital microfluidic biochip comprises of many combinatorial optimization problems, which are NP-complete in nature. Efficient optimization algorithms to solve them is in dearth till date. In this paper, we propose a multi-objective optimization algorithm that simultaneously minimizes several resources during bioassay operations in a digital microfluidic biochip. We design the progressive droplet routing as a constrained multi-objective optimization problem considering three objective functions to be optimized, named (i) electrode usages, (ii) routing completion time, or latest arrival time, and (iii) control pin allocation. A composite objective function is constructed by a weighted sum of the first two objective functions. This composite function is minimized pertaining to an upper bound on the third objective function, control pin allocation. A fractional constant weight factor (λ) is chosen to confer upon the necessary weightage on the two factors involved in the composite objective function for accurate optimization procedure. We perform experimentations with several existing benchmarks, and experimental results are quite encouraging.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"73 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":"124475204","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
Compiler-assisted leakage energy optimization of media applications on stream architectures 流架构媒体应用的编译器辅助泄漏能量优化
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523599
Shan Cao, Zhaolin Li, Z. Chen, Guoyue Jiang, Shaojun Wei
Stream architecture is emerging as an important architecture for performance improvement of media applications. With technology scaled to nanometer-scale, leakage energy consumption is accounting for a greater proportion of the total energy consumption than ever, especially for stream architectures with a large number of functional units. In this paper, a compiler-assisted instruction-level scheduling algorithm is proposed to optimize leakage energy by idle interval distribution for stream architectures. The algorithm explores the scheduling spaces of idle intervals spatially and temporally and gathers the idle intervals for power-gating. The leakage energy is optimized without performance loss by increasing efficient power-gated cycles and decreasing switch times. We implement the proposed scheduling algorithm on Imagine processor and employ a set of benchmarks to evaluate the effectiveness of the algorithm. Experimental results show that the leakage energy consumption is reduced by 52% averagely compared with the list scheduling algorithm.
流架构正在成为媒体应用程序性能改进的重要架构。随着技术规模扩展到纳米尺度,泄漏能耗占总能耗的比例比以往任何时候都要大,特别是对于具有大量功能单元的流架构。本文提出了一种编译器辅助指令级调度算法,通过空闲间隔分配优化流架构的泄漏能量。该算法从空间和时间上探索空闲区间的调度空间,并对空闲区间进行集合进行功率门控。通过增加有效的功率门控周期和减少开关次数,优化了泄漏能量,而没有性能损失。我们在Imagine处理器上实现了所提出的调度算法,并采用一组基准测试来评估算法的有效性。实验结果表明,与列表调度算法相比,该算法的泄漏能耗平均降低52%。
{"title":"Compiler-assisted leakage energy optimization of media applications on stream architectures","authors":"Shan Cao, Zhaolin Li, Z. Chen, Guoyue Jiang, Shaojun Wei","doi":"10.1109/ISQED.2013.6523599","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523599","url":null,"abstract":"Stream architecture is emerging as an important architecture for performance improvement of media applications. With technology scaled to nanometer-scale, leakage energy consumption is accounting for a greater proportion of the total energy consumption than ever, especially for stream architectures with a large number of functional units. In this paper, a compiler-assisted instruction-level scheduling algorithm is proposed to optimize leakage energy by idle interval distribution for stream architectures. The algorithm explores the scheduling spaces of idle intervals spatially and temporally and gathers the idle intervals for power-gating. The leakage energy is optimized without performance loss by increasing efficient power-gated cycles and decreasing switch times. We implement the proposed scheduling algorithm on Imagine processor and employ a set of benchmarks to evaluate the effectiveness of the algorithm. Experimental results show that the leakage energy consumption is reduced by 52% averagely compared with the list scheduling algorithm.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"201 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":"116162546","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
Efficient translation validation of high-level synthesis 高级合成的高效翻译验证
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523660
Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma
The growing design-productivity gap has made designers shift toward using high-level synthesis (HLS) techniques to generate register transfer level design from high-level languages like C/C++. Unfortunately, this translation process is very complex and is prone to introduce bug into the generated design, which can create a mismatch between what a designer intends and what is actually implemented in the circuit. In this paper, we present an efficient approach to validate the result of HLS against the initial high-level program using translation validation techniques. We redefined the bisimulation relation and proposed a novel algorithm based on it. When compared with the existing method, the proposed method can dramatically reduce the number of automated theorem prover (ATP) querying, which will in turn improve the time cost in equivalence validation. Our method is suitable for structure-preserving transformations such as carried out by Spark synthesizer. We have implemented our validating technique and compared it with a state-of-the-art translation validation method of HLS. The promising results show the effectiveness and efficiency of our method.
越来越大的设计效率差距促使设计师转向使用高级合成(HLS)技术,从C/ c++等高级语言生成寄存器迁移关卡设计。不幸的是,这种转换过程非常复杂,并且容易在生成的设计中引入错误,这可能导致设计人员的意图与电路中实际实现的内容不匹配。在本文中,我们提出了一种有效的方法,使用翻译验证技术来验证HLS对初始高级程序的结果。我们重新定义了双仿真关系,并在此基础上提出了一种新的算法。与现有方法相比,该方法可以显著减少自动定理证明者(ATP)查询的次数,从而提高等价验证的时间成本。我们的方法适用于由Spark合成器进行的结构保留变换。我们已经实现了我们的验证技术,并将其与HLS的最先进的翻译验证方法进行了比较。结果表明了该方法的有效性和高效性。
{"title":"Efficient translation validation of high-level synthesis","authors":"Tun Li, Yang Guo, Wanwei Liu, Chiyuan Ma","doi":"10.1109/ISQED.2013.6523660","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523660","url":null,"abstract":"The growing design-productivity gap has made designers shift toward using high-level synthesis (HLS) techniques to generate register transfer level design from high-level languages like C/C++. Unfortunately, this translation process is very complex and is prone to introduce bug into the generated design, which can create a mismatch between what a designer intends and what is actually implemented in the circuit. In this paper, we present an efficient approach to validate the result of HLS against the initial high-level program using translation validation techniques. We redefined the bisimulation relation and proposed a novel algorithm based on it. When compared with the existing method, the proposed method can dramatically reduce the number of automated theorem prover (ATP) querying, which will in turn improve the time cost in equivalence validation. Our method is suitable for structure-preserving transformations such as carried out by Spark synthesizer. We have implemented our validating technique and compared it with a state-of-the-art translation validation method of HLS. The promising results show the effectiveness and efficiency of our method.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"22 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":"126368962","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 comparator energy model considering shallow trench isolation stress by geometric programming 通过几何编程考虑浅沟隔离应力的比较器能量模型
Pub Date : 2013-03-04 DOI: 10.1109/ISQED.2013.6523670
Gong Chen, Yu Zhang, Bo Yang, Qing Dong, S. Nakatake
In low power analog circuit designs, the current variation caused by the STI stress must be taken into account. In this paper, we address an energy trade-off related to the STI stress in the design of a comparator composed of the preamplifier and the conventional latch. The power consumption of the pre-amplifier can be formulated as a function of the diffusion length of MOSFETs when considering the STI stress. The longer diffusion length tends to make the power lower. On the other hand, the power to drive the latch is associated with the parasitic capacitance at the output of the pre-amplifier, so shorter diffusion is preferable. To cope with the trade-off, we provide the energy model of the comparator based on the geometric programming. In the post-layout HSPICE simulation with the STI BSIM model, we reveal that the impact of the STI stress on the energy becomes significant especially in low power designs.
在低功耗模拟电路设计中,必须考虑到 STI 应力引起的电流变化。在本文中,我们讨论了由前置放大器和传统锁存器组成的比较器设计中与 STI 应力有关的能量权衡问题。考虑到 STI 应力,前置放大器的功耗可表述为 MOSFET 扩散长度的函数。扩散长度越长,功耗越低。另一方面,驱动锁存器的功率与前置放大器输出端的寄生电容有关,因此扩散长度越短越好。为了权衡利弊,我们提供了基于几何编程的比较器能量模型。在利用 STI BSIM 模型进行的布局后 HSPICE 仿真中,我们发现 STI 应力对能量的影响非常显著,尤其是在低功耗设计中。
{"title":"A comparator energy model considering shallow trench isolation stress by geometric programming","authors":"Gong Chen, Yu Zhang, Bo Yang, Qing Dong, S. Nakatake","doi":"10.1109/ISQED.2013.6523670","DOIUrl":"https://doi.org/10.1109/ISQED.2013.6523670","url":null,"abstract":"In low power analog circuit designs, the current variation caused by the STI stress must be taken into account. In this paper, we address an energy trade-off related to the STI stress in the design of a comparator composed of the preamplifier and the conventional latch. The power consumption of the pre-amplifier can be formulated as a function of the diffusion length of MOSFETs when considering the STI stress. The longer diffusion length tends to make the power lower. On the other hand, the power to drive the latch is associated with the parasitic capacitance at the output of the pre-amplifier, so shorter diffusion is preferable. To cope with the trade-off, we provide the energy model of the comparator based on the geometric programming. In the post-layout HSPICE simulation with the STI BSIM model, we reveal that the impact of the STI stress on the energy becomes significant especially in low power designs.","PeriodicalId":127115,"journal":{"name":"International Symposium on Quality Electronic Design (ISQED)","volume":"5 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":"125876217","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
期刊
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