DAC Design Automation Conference 2012最新文献_第5页

Small delay testing for TSVs in 3-D ICs 三维集成电路中tsv的小延迟测试

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228546

Shi-Yu Huang, Yu-Hsiang Lin, Kun-Han Tsai, Wu-Tung Cheng, S. Sunter, Yung-Fa Chou, D. Kwai

引用次数: 59

Towards fault-tolerant embedded systems with imperfect fault detection 不完全故障检测的容错嵌入式系统研究

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228398

Jia Huang, Kai Huang, A. Raabe, C. Buckl, A. Knoll

引用次数: 20

Path scheduling on digital microfluidic biochips 数字微流控生物芯片的路径调度

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228367

D. Grissom, P. Brisk

引用次数: 69

Process variation in near-threshold wide SIMD architectures 近阈值宽SIMD体系结构中的过程变化

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228536

Sangwon Seo, R. Dreslinski, M. Woh, Yongjun Park, C. Chakrabarti, S. Mahlke, D. Blaauw, T. Mudge

引用次数: 48

EDA for secure and dependable cybercars: Challenges and opportunities 安全可靠的网络汽车EDA:挑战与机遇

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228402

F. Koushanfar, A. Sadeghi, Hervé Seudie

{"title":"EDA for secure and dependable cybercars: Challenges and opportunities","authors":"F. Koushanfar, A. Sadeghi, Hervé Seudie","doi":"10.1145/2228360.2228402","DOIUrl":"https://doi.org/10.1145/2228360.2228402","url":null,"abstract":"Modern vehicles integrate a multitude of embedded hard realtime control functionalities, and a host of advanced information and entertainment (infotainment) features. The true paradigm shift for future vehicles (cybercars) is not only a result of this increasing plurality of subsystems and functions, but is also driven by the unprecedented levels of intra- and inter-car connections and communications as well as networking with external entities. Several new cybercar security and safety challenges simultaneously arise. On one hand, many challenges arise due to increasing system complexity as well as new functionalities that should jointly work on the existing legacy protocols and technologies; such systems are likely unable to warrant a fully secure and dependable system without afterthoughts. On the other hand, challenges arise due to the escalating number of interconnections among the realtime control functions, infotainment components, and the accessible surrounding external devices, vehicles, networks, and cloud services. The arrival of cybercars calls for novel abstractions, models, protocols, design methodologies, testing and evaluation tools to automate the integration and analysis of the safety and security requirements.","PeriodicalId":263599,"journal":{"name":"DAC Design Automation Conference 2012","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125085304","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}

引用次数: 45

Cache revive: Architecting volatile STT-RAM caches for enhanced performance in CMPs 缓存恢复:架构易失性STT-RAM缓存以增强cmp中的性能

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228406

Adwait Jog, Asit K. Mishra, Cong Xu, Yuan Xie, N. Vijaykrishnan, R. Iyer, C. Das

引用次数: 275

What to do about the end of Moore's law, probably! 摩尔定律的终结该怎么办呢?

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228525

K. Palem, L. Avinash

引用次数: 50

Application of logic synthesis to the understanding and cure of genetic diseases 逻辑综合在遗传病认识和治疗中的应用

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228493

P. Lin, S. Khatri

{"title":"Application of logic synthesis to the understanding and cure of genetic diseases","authors":"P. Lin, S. Khatri","doi":"10.1145/2228360.2228493","DOIUrl":"https://doi.org/10.1145/2228360.2228493","url":null,"abstract":"In the quest to understand and cure genetic diseases such as cancer, the fundamental approach being taken is undergoing a gradual change. It is becoming more acceptable to view these diseases as an engineering problem, and systems engineering approaches are becoming more accepted as a means to tackle genetic diseases. In this light, we believe that logic synthesis techniques can play a very important role. Several techniques from the field of logic synthesis can be adapted to assist in the arguably huge effort of modeling and controlling such diseases. The set of genes that control a particular genetic disease can be modeled as a Finite State Machine (FSM) called the Gene Regulatory Network (GRN). Important problems include (i) inferring the GRN from observed gene expression data from patients and (ii) assuming that such a GRN exists, determining the ”best” set of drugs so that the disease is ”maximally” cured. In this paper, we report initial results on the application of logic synthesis techniques that we have developed to address both these problems. In the first technique, we present Boolean Satisfiability (SAT) based approaches to infer the logical support of each gene that regulates melanoma, using gene expression data from patients of the disease. From the output of such a tool, biologists can construct targeted experiments to understand the logic functions that regulate a particular gene. The second technique assumes that the GRN is known, and uses a weighted partial Max-SAT formulation to find the set of drugs with the least side-effects, that steer the GRN state towards one that is closest to that of a healthy individual, in the context of colon cancer. Our group is currently exploring the application of several other logic techniques to a variety of related problems in this domain.","PeriodicalId":263599,"journal":{"name":"DAC Design Automation Conference 2012","volume":"13 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120856294","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

Improved tangent space based distance metric for accurate lithographic hotspot classification 改进的切线空间距离度量用于光刻热点的精确分类

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228577

Jing Guo, Fan Yang, S. Sinha, C. Chiang, Xuan Zeng

引用次数: 27

Generic low-cost characterization of VTH and mobility variations in LTPS TFTs for non-uniformity calibration of active-matrix OLED displays 用于有源矩阵OLED显示器非均匀性校准的LTPS TFTs中VTH和迁移率变化的通用低成本表征

DAC Design Automation Conference 2012 Pub Date : 2012-06-03 DOI: 10.1145/2228360.2228396

G. Chaji, J. Jaffari

引用次数: 1