2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)最新文献_第10页

A high-performance triple patterning layout decomposer with balanced density 一种高性能、密度均衡的三重模式布局分解器

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691114

Bei Yu, Yen-Hung Lin, Gerard Luk-Pat, Duo Ding, K. Lucas, D. Pan

引用次数: 58

Incremental Multiple-Scan Chain Ordering for ECO Flip-Flop insertion 增量多扫描链排序的ECO触发器插入

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691192

A. Kahng, Ilgweon Kang, S. Nath

引用次数: 5

Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization 使用预测全局优化验证耦合环振荡器在可变性存在下的启动失败

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691161

Taehwan Kim, D. Song, Sangho Youn, Jaejin Park, Hojin Park, Jaeha Kim

{"title":"Verifying start-up failures in coupled ring oscillators in presence of variability using predictive global optimization","authors":"Taehwan Kim, D. Song, Sangho Youn, Jaejin Park, Hojin Park, Jaeha Kim","doi":"10.1109/ICCAD.2013.6691161","DOIUrl":"https://doi.org/10.1109/ICCAD.2013.6691161","url":null,"abstract":"This paper describes a simulation-based approach to establish whether a ring-oscillator always converges to the correct mode of operation regardless of its initial conditions and variability conditions. The verification is performed using a predictive global optimization algorithm that looks for a problematic initial state from a discretized state space. The algorithm explores the initial states that can maximize the settling time for the oscillator to reach its final steady state. If any of these initial states visited during the search is found exhibiting false oscillation behaviors for certain variability conditions, the initial state is reported as problematic. On the other hand, if the initial state with the globally maximum settling time is found without discovering such problematic states, the oscillator is reported free of start-up failures. It can be shown that despite the finite number of initial state candidates considered and finite number of Monte-Carlo samples to model variability, the proposed algorithm can verify the oscillator to a prescribed confidence level. Demonstrated on various even-stage differential ring oscillators, the algorithm was able to validate the circuit for 99% yield with 99.9% confidence level by evaluating 7~60 initial states each with 1,000 Monte-Carlo samples. To our knowledge, this is the first algorithm ever reported to address start-up failures with variability.","PeriodicalId":278154,"journal":{"name":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124017858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 4

Automated generation of efficient instruction decoders for Instruction Set Simulators 指令集模拟器中高效指令解码器的自动生成

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.5555/2561828.2561972

Nicolas Fournel, Luc Michel, F. Pétrot

{"title":"Automated generation of efficient instruction decoders for Instruction Set Simulators","authors":"Nicolas Fournel, Luc Michel, F. Pétrot","doi":"10.5555/2561828.2561972","DOIUrl":"https://doi.org/10.5555/2561828.2561972","url":null,"abstract":"Fast Instruction Set Simulators (ISS) are a critical part of MPSoC design flows. The complexity of developing these ISS combined with the ability to extend instruction sets tend to make automated generation of ISS a need. One important part of every ISS is its instruction decoder, but as the encoding of instruction sets becomes less orthogonal because of the incremental addition of instructions, the generation of a decoder is not anymore an obvious task. In this paper, we present two automated decoder generation strategies that are able to handle non-orthogonal instruction encodings. The first one builds a decision tree that does not consider the instruction's occurrences while the second considers these frequencies. In both cases, we use binary decision diagrams to represent the instructions encodings and the complex conditions due to the non-orthogonality of the encodings in order to generate the decoders. Our experiments on the MIPS and ARM (including VFP and Neon extensions) instruction sets show that both algorithms produce efficient decoders, and that it is beneficial to consider instruction frequencies.","PeriodicalId":278154,"journal":{"name":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124151550","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}

引用次数: 6

Comprehensive technique for designing and synthesizing TSV Fault-tolerant 3D clock trees TSV容错三维时钟树设计与合成的综合技术

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691190

Heechun Park, Taewhan Kim

引用次数: 3

Sample preparation for many-reactant bioassay on DMFBs using common dilution operation sharing 使用普通稀释操作共享的dmfb多反应物生物测定样品制备

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691180

Chia-Hung Liu, Hao-Han Chang, Tung-Che Liang, Juinn-Dar Huang

{"title":"Sample preparation for many-reactant bioassay on DMFBs using common dilution operation sharing","authors":"Chia-Hung Liu, Hao-Han Chang, Tung-Che Liang, Juinn-Dar Huang","doi":"10.1109/ICCAD.2013.6691180","DOIUrl":"https://doi.org/10.1109/ICCAD.2013.6691180","url":null,"abstract":"Sample preparation is an essential processing step in most biochemical applications. Various reactants are mixed together to produce a solution with the target concentration. Since reactants generally take a notable part of the cost in a bioassay, their usage should be minimized whenever possible. In this paper, we propose an algorithm, CoDOS, to prepare the target solution with many reactants using common dilution operation sharing on digital microfluidic biochips (DMFBs). CoDOS first represents the given target concentration as a recipe matrix, and then identifies rectangles in the matrix, where each rectangle indicates an opportunity of dilution operation sharing for reactant minimization. Experimental results demonstrate that CoDOS can achieve up to 27% of reactant saving as compared with the bit-scanning method in single-target sample preparation. Moreover, even if CoDOS is not developed for multi-target sample preparation, it still outperforms the recent state-of-the-art algorithm, RSMA. Hence, it is convincing that CoDOS is a better alternative for many-reactant sample preparation.","PeriodicalId":278154,"journal":{"name":"2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130459132","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}

引用次数: 40

Simulation of temporal stochastic phenomena in electronic and biological systems: A comparative review, examples and synergies 电子和生物系统中时间随机现象的模拟:比较回顾、例子和协同作用

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691206

A. Demir, B. Erman

引用次数: 1

The impact of shallow trench isolation effects on circuit performance 浅沟隔离效应对电路性能的影响

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691134

Sravan K. Marella, S. Sapatnekar

引用次数: 10

Improved SAT-based ATPG: More constraints, better compaction 改进的基于sat的ATPG:更多的约束，更好的压缩

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691102

Stephan Eggersglüß, R. Wille, R. Drechsler

引用次数: 57

Conquering the scheduling alternative explosion problem of SystemC symbolic simulation 克服SystemC符号仿真中的调度备选爆炸问题

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) Pub Date : 2013-11-18 DOI: 10.1109/ICCAD.2013.6691189

Chun-Nan Chou, Chen-Kai Chu, Chung-Yang Huang

引用次数: 12