default search action
ICCAD 2011: San Jose, California, USA
- Joel R. Phillips, Alan J. Hu, Helmut Graeb:
2011 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2011, San Jose, California, USA, November 7-10, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1399-6 - Georg Sigl:
Keynote address: Design of secure systems - Where are the EDA tools? 1 - Bei Yu, Kun Yuan, Boyang Zhang, Duo Ding, David Z. Pan:
Layout decomposition for triple patterning lithography. 1-8 - Xiaoping Tang, Minsik Cho:
Optimal layout decomposition for double patterning technology. 9-13 - Rani S. Ghaida, Kanak B. Agarwal, Sani R. Nassif, Xin Yuan, Lars Liebmann, Puneet Gupta
:
A framework for double patterning-enabled design. 14-20 - Xuebei Yang, Kartik Mohanram:
Unequal-error-protection codes in SRAMs for mobile multimedia applications. 21-27 - Chen-Wei Lin, Hao-Yu Yang, Chin-Yuan Huang, Hung-Hsin Chen, Mango Chia-Tso Chao:
Detecting stability faults in sub-threshold SRAMs. 28-33 - Feng Yuan, Xiao Liu, Qiang Xu
Pseudo-functional testing for small delay defects considering power supply noise effects. 34-39 - Bruno Zatt, Muhammad Shafique
A low-power memory architecture with application-aware power management for motion & disparity estimation in Multiview Video Coding. 40-47 - Jishen Zhao, Cong Xu, Yuan Xie:
Bandwidth-aware reconfigurable cache design with hybrid memory technologies. 48-55 - Hui Zhao, Akbar Sharifi, Shekhar Srikantaiah, Mahmut T. Kandemir:
Feedback control based cache reliability enhancement for emerging multicores. 56-62 - Rasit Onur Topaloglu
GPU programming for EDA with OpenCL. 63-66 - Myung-Chul Kim, Jin Hu, Dongjin Lee, Igor L. Markov:
A SimPLR method for routability-driven placement. 67-73 - Xu He, Tao Huang, Linfu Xiao, Haitong Tian, Guxin Cui, Evangeline F. Y. Young:
Ripple: An effective routability-driven placer by iterative cell movement. 74-79 - Meng-Kai Hsu, Sheng Chou, Tzu-Hen Lin, Yao-Wen Chang
Routability-driven analytical placement for mixed-size circuit designs. 80-84 - Yi-Lin Chuang, Hong-Ting Lin, Tsung-Yi Ho
PRICE: Power reduction by placement and clock-network co-synthesis for pulsed-latch designs. 85-90 - Dimitri de Jonghe, Georges G. E. Gielen:
Efficient analytical macromodeling of large analog circuits by Transfer Function Trajectories. 91-94 - Vladimir Zolotov, Jinjun Xiong
Optimal statistical chip disposition. 95-102 - Artem Rogachev, Lu Wan, Deming Chen:
Temperature aware statistical static timing analysis. 103-110 - Bing Li, Ning Chen:
Fast statistical timing analysis for circuits with Post-Silicon Tunable clock buffers. 111-117 - Mahmut T. Kandemir, Shekhar Srikantaiah, Seung Woo Son:
Improving shared cache behavior of multithreaded object-oriented applications in multicores. 118-125 - Mohammad Shihabul Haque, Jorgen Peddersen, Sri Parameswaran
CIPARSim: Cache intersection property assisted rapid single-pass FIFO cache simulation technique. 126-133 - Praveen Yedlapalli, Emre Kultursay, Mahmut T. Kandemir:
Cooperative parallelization. 134-141 - Wei Ding, Yuanrui Zhang, Jun Liu, Mahmut T. Kandemir:
Optimizing data locality using array tiling. 142-149 - Jason Cong, Karthik Gururaj:
Assuring application-level correctness against soft errors. 150-157 - Krishnendu Chakrabarty
The role of EDA in digital print automation and infrastructure optimization. 158-161 - Wangyang Zhang, Karthik Balakrishnan, Xin Li, Duane S. Boning, Rob A. Rutenbar
Toward efficient spatial variation decomposition via sparse regression. 162-169 - Charles Lamech, Jim Aarestad, Jim Plusquellic, Reza M. Rad, Kanak Agarwal:
REBEL and TDC: Two embedded test structures for on-chip measurements of within-die path delay variations. 170-177 - Hongbo Zhang, Tan Yan, Martin D. F. Wong
Accelerating aerial image simulation with GPU. 178-184 - Jason Cong, Peng Zhang, Yi Zou:
Combined loop transformation and hierarchy allocation for data reuse optimization. 185-192 - Seokhyun Lee, Kiyoung Choi:
High-level synthesis with distributed controller for fast timing closure. 193-199 - Elena Dubrova:
Synthesis of parallel binary machines. 200-206 - Wooyoung Jang, Ou He, Jae-Seok Yang, David Z. Pan:
Chemical-mechanical polishing aware application-specific 3D NoC design. 207-212 - Ali Shafiee, Mahdy Zolghadr, Mohammad Arjomand, Hamid Sarbazi-Azad:
Application-aware deadlock-free oblivious routing based on extended turn-model. 213-218 - Avinash Karanth Kodi, Randy Morris, Dominic DiTomaso, Ashwini Sarathy, Ahmed Louri:
Co-design of channel buffers and crossbar organizations in NoCs architectures. 219-226 - Hai Wei, Jie Zhang, Lan Wei, Nishant Patil, Albert Lin, Max M. Shulaker, Hong-Yu Chen, H.-S. Philip Wong, Subhasish Mitra:
Carbon nanotube imperfection-immune digital VLSI: Frequently asked questions updated. 227-230 - Davide Sacchetto, Michele De Marchi, Giovanni De Micheli, Yusuf Leblebici:
Alternative design methodologies for the next generation logic switch. 231-234 - Yiming Huai, Yuchen Zhou, Ioan Tudosa, Roger Malmhall, Rajiv Ranjan, Jing Zhang:
Progress and outlook for STT-MRAM. 235 - Rajiv V. Joshi, Rouwaida Kanj, Peiyuan Wang, Hai Li
Universal statistical cure for predicting memory loss. 236-239 - Guillaume Prenat, Bernard Dieny, Jean-Pierre Nozieres, Gregory di Pendina, Kholdoun Torki:
Hybrid CMOS/Magnetic Process Design Kit and application to the design of high-performances non-volatile logic circuits. 240-245 - Gilberto Medeiros-Ribeiro
Progress in CMOS-memristor integration. 246-249 - Yue Xu, Chris Chu:
MGR: Multi-level global router. 250-255 - Hamid Shojaei, Azadeh Davoodi, Jeffrey T. Linderoth:
Congestion analysis for global routing via integer programming. 256-262 - Wen-Hao Liu, Yih-Lang Li, Kai-Yuan Chao:
High-quality global routing for multiple dynamic supply voltage designs. 263-269 - Cliff C. N. Sze:
The future of clock network synthesis. 270 - Joseph N. Kozhaya, Phillip J. Restle, Haifeng Qian
Myth busters: Microprocessor clocking is from Mars, ASICs clocking is from Venus. 271-275 - Ali M. El-Husseini, Matthew Morrise:
Clocking design automation in Intel's Core i7 and future designs. 276-278 - Igor L. Markov, Dongjin Lee:
Algorithmic tuning of clock trees and derived non-tree structures. 279-282 - Yen-Hung Lin, Yongchan Ban, David Z. Pan, Yih-Lang Li:
Doppler: DPL-aware and OPC-friendly gridless detailed routing with mask density balancing. 283-289 - Xin Gao, Luca Macchiarulo
A jumper insertion algorithm under antenna ratio and timing constraints. 290-297 - Yiding Han, Dean Michael Ancajas, Koushik Chakraborty, Sanghamitra Roy
Exploring high throughput computing paradigm for global routing. 298-305 - Yuan-Kai Ho, Hsu-Chieh Lee, Yao-Wen Chang
Escape routing for staggered-pin-array PCBs. 306-309 - Matthew Grange, Axel Jantsch
Modeling the computational efficiency of 2-D and 3-D silicon processors for early-chip planning. 310-317 - Clinton Wills Smullen IV, Anurag Nigam, Sudhanva Gurumurthi, Mircea R. Stan
The STeTSiMS STT-RAM simulation and modeling system. 318-325 - Muhsen Owaida, Nikolaos Bellas
Massively parallel programming models used as hardware description languages: The OpenCL case. 326-333 - Jeffrey L. Krichmar
Neuromorphic modeling abstractions and simulation of large-scale cortical networks. 334-338 - Yu Wang
A heterogeneous accelerator platform for multi-subject voxel-based brain network analysis. 339-344 - Miao Hu, Hai Li
Fast statistical model of TiO2 thin-film memristor and design implication. 345-352 - Rouwaida Kanj, Tong Li, Rajiv V. Joshi, Kanak Agarwal, Ali Sadigh, David Winston, Sani R. Nassif:
Accelerated statistical simulation via on-demand Hermite spline interpolations. 353-360 - Ting Mei, Heidi Thornquist, Eric R. Keiter
Structure preserving reduced-order modeling of linear periodic time-varying systems. 361-366 - David Amsallem, Jaijeet S. Roychowdhury:
ModSpec: An open, flexible specification framework for multi-domain device modelling. 367-374 - Alan Mishchenko, Robert K. Brayton, Stephen Jang, Victor N. Kravets:
Delay optimization using SOP balancing. 375-382 - Shao-Lun Huang, Wei-Hsun Lin, Chung-Yang (Ric) Huang:
Match and replace - A functional ECO engine for multi-error circuit rectification. 383-388 - Hsiou-Yuan Liu, Yen-Cheng Chou, Chen-Hsuan Lin, Jie-Hong R. Jiang:
Towards completely automatic decoder synthesis. 389-395 - Pin-Yi Kuo, Chun-Yao Wang, Ching-Yi Huang:
On rewiring and simplification for canonicity in threshold logic circuits. 396-403 - ShengYu Shen, Ying Qin, Jianmin Zhang:
Inferring assertion for complementary synthesis. 404-411 - Sangwoo Han, Joohee Choung, Byung-Su Kim, Bong Hyun Lee, Hungbok Choi, Juho Kim:
Statistical aging analysis with process variation consideration. 412-419 - Changhao Yan, Sheng-Guo Wang, Xuan Zeng:
A new method for multiparameter robust stability distribution analysis of linear analog circuits. 420-427 - Jyothi Bhaskarr Velamala, Venkatesa Ravi, Yu Cao
Failure diagnosis of asymmetric aging under NBTI. 428-433 - Zahra Lak, Nicola Nicolici:
In-system and on-the-fly clock tuning mechanism to combat lifetime performance degradation. 434-441 - Rong Ye, Feng Yuan, Qiang Xu
Online clock skew tuning for timing speculation. 442-447 - Tsung-Wei Huang, Tsung-Yi Ho
Reliability-oriented broadcast electrode-addressing for pin-constrained digital microfluidic biochips. 448-455 - Yehua Su, Wenjing Rao:
Defect-tolerant logic implementation onto nanocrossbars by exploiting mapping and morphing simultaneously. 456-462 - Cong Xu, Dimin Niu, Xiaochun Zhu, Seung-Hyuk Kang, Matt Nowak, Yuan Xie:
Device-architecture co-optimization of STT-RAM based memory for low power embedded systems. 463-470 - Yaojun Zhang, Xiaobin Wang, Yiran Chen:
STT-RAM cell design optimization for persistent and non-persistent error rate reduction: A statistical design view. 471-477 - Zhuo Li, Raju Balasubramanian, Frank Liu, Sani R. Nassif:
2011 TAU power grid simulation contest: Benchmark suite and results. 478-481 - Jianlei Yang, Zuowei Li, Yici Cai, Qiang Zhou:
PowerRush: A linear simulator for power grid. 482-487 - Zhiyu Zeng, Tong Xu, Zhuo Feng, Peng Li:
Fast static analysis of power grids: Algorithms and implementations. 488-493 - Chung-Han Chou, Nien-Yu Tsai, Hao Yu, Che-Rung Lee, Yiyu Shi, Shih-Chieh Chang
On the preconditioner of conjugate gradient method - A power grid simulation perspective. 494-497 - Amith Singhee:
PTrace: Derivative-free local tracing of bicriterial design tradeoffs. 498-502 - Walter James Condley, Xuchu Hu, Matthew R. Guthaus
A methodology for local resonant clock synthesis using LC-assisted local clock buffers. 503-506 - Hui-Fang Tsao, Pang-Yen Chou, Shih-Lun Huang, Yao-Wen Chang
A corner stitching compliant B∗-tree representation and its applications to analog placement. 507-511 - Pang-Yen Chou, Hung-Chih Ou, Yao-Wen Chang
Heterogeneous B∗-trees for analog placement with symmetry and regularity considerations. 512-516 - Yi-Peng Weng, Hung-Ming Chen, Tung-Chieh Chen, Po-Cheng Pan
Fast analog layout prototyping for nanometer design migration. 517-522 - Zheng Zhang
Model order reduction of fully parameterized systems by recursive least square optimization. 523-530 - Jianlei Yang, Yici Cai, Qiang Zhou, Jin Shi:
Fast poisson solver preconditioned method for robust power grid analysis. 531-536 - Farshad Firouzi, Saman Kiamehr, Mehdi Baradaran Tahoori:
Modeling and estimation of power supply noise using linear programming. 537-542 - Xueqian Zhao, Jia Wang, Zhuo Feng, Shiyan Hu
Power grid analysis with hierarchical support graphs. 543-547 - Xuanxing Xiong, Jia Wang:
Vectorless verification of RLC power grids with transient current constraints. 548-554 - Mohit Pathak, Jiwoo Pak, David Z. Pan, Sung Kyu Lim
Electromigration modeling and full-chip reliability analysis for BEOL interconnect in TSV-based 3D ICs. 555-562 - Moongon Jung, Xi Liu, Suresh K. Sitaraman, David Z. Pan, Sung Kyu Lim
Full-chip through-silicon-via interfacial crack analysis and optimization for 3D IC. 563-570 - Di-An Li, Malgorzata Marek-Sadowska:
Variation-aware electromigration analysis of power/ground networks. 571-576 - Seokjoong Kim, Matthew R. Guthaus:
Low-power multiple-bit upset tolerant memory optimization. 577-581 - Naifeng Jing, Ju-Yueh Lee, Weifeng He, Zhigang Mao, Lei He:
Mitigating FPGA interconnect soft errors by in-place LUT inversion. 582-586 - Hratch Mangassarian, Andreas G. Veneris, Duncan Exon Smith, Sean Safarpour:
Debugging with dominance: On-the-fly RTL debug solution implications. 587-594 - Debapriya Chatterjee, Calvin McCarter
Simulation-based signal selection for state restoration in silicon debug. 595-601 - Bo-Han Wu, Chun-Ju Yang, Chia-Cheng Tso, Chung-Yang (Ric) Huang:
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques. 602-607 - Ryan Cochran, Can Hankendi, Ayse K. Coskun, Sherief Reda:
Identifying the optimal energy-efficient operating points of parallel workloads. 608-615 - Haris Javaid, Muhammad Shafique
System-level application-aware dynamic power management in adaptive pipelined MPSoCs for multimedia. 616-623 - Younghyun Kim
Balanced reconfiguration of storage banks in a hybrid electrical energy storage system. 624-631 - Dongjin Lee, Igor L. Markov:
Multilevel tree fusion for robust clock networks. 632-639 - Seungwhun Paik, Gi-Joon Nam
Implementation of pulsed-latch and pulsed-register circuits to minimize clocking power. 640-646 - Hsuan-Ming Chou, Hao Yu, Shih-Chieh Chang
Useful-skew clock optimization for multi-power mode designs. 647-650 - Jason Cong, Yuhui Huang, Bo Yuan:
ATree-based topology synthesis for on-chip network. 651-658 - Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi
Formal verification of phase-locked loops using reachability analysis and continuization. 659-666 - Rangharajan Venkatesan, Amit Agarwal, Kaushik Roy, Anand Raghunathan
MACACO: Modeling and analysis of circuits for approximate computing. 667-673 - Hu-Hsi Yeh, Cheng-Yin Wu, Chung-Yang (Ric) Huang:
Property-specific sequential invariant extraction for SAT-based unbounded model checking. 674-678 - Miroslav N. Velev
Automatic formal verification of multithreaded pipelined microprocessors. 679-686 - Hao Qian, Yangdong Deng:
Accelerating RTL simulation with GPUs. 687-693 - Sheng Li, Ke Chen, Jung Ho Ahn
CACTI-P: Architecture-level modeling for SRAM-based structures with advanced leakage reduction techniques. 694-701 - Andrey Ayupov, Steven M. Burns:
A trace compression algorithm targeting power estimation of long benchmarks. 702-707 - Lei Wang, Markus Olbrich, Erich Barke, Thomas Büchner, Markus Bühler, Philipp V. Panitz:
A theoretical probabilistic simulation framework for dynamic power estimation. 708-715 - Hai Wang, Sheldon X.-D. Tan, Guangdeng Liao, Rafael Quintanilla, Ashish Gupta:
Full-chip runtime error-tolerant thermal estimation and prediction for practical thermal management. 716-723 - Muhammet Mustafa Ozdal, Steven M. Burns, Jiang Hu:
Gate sizing and device technology selection algorithms for high-performance industrial designs. 724-731 - Junjun Gu, Gang Qu, Lin Yuan, Cheng Zhuo:
Improving dual Vt technology by simultaneous gate sizing and mechanical stress optimization. 732-735 - Jia Wang, Xiaodao Chen, Chen Liao, Shiyan Hu
The approximation scheme for peak power driven voltage partitioning. 736-741 - Hua-Yu Chang, Iris Hui-Ru Jiang, Yao-Wen Chang
Timing ECO optimization via Bézier curve smoothing and fixability identification. 742-746 - Vasileios Tenentes
Test-data volume and scan-power reduction with low ATE interface for multi-core SoCs. 747-754 - Andrew DeOrio, Daya Shanker Khudia, Valeria Bertacco:
Post-silicon bug diagnosis with inconsistent executions. 755-761 - Nathan Kupp, Haralampos-G. D. Stratigopoulos, Petros Drineas
On proving the efficiency of alternative RF tests. 762-767 - Xiaochun Yu, R. D. (Shawn) Blanton:
Statistical defect-detection analysis of test sets using readily-available tester data. 768-773 - Mac Y. C. Kao, Kun-Ting Tsai, Shih-Chieh Chang
A robust architecture for post-silicon skew tuning. 774-778 - Chia-Hsin Owen Chen, Sunghyun Park, Tushar Krishna, Li-Shiuan Peh:
A low-swing crossbar and link generator for low-power networks-on-chip. 779-786 - Hui Zhao, Mahmut T. Kandemir, Wei Ding, Mary Jane Irwin:
Exploring heterogeneous NoC design space. 787-793 - Eliyah Kilada, Kenneth S. Stevens:
Synchronous elasticization at a reduced cost: Utilizing the ultra simple fork and controller merging. 794-801 - Sheng Wei, Ani Nahapetian, Miodrag Potkonjak:
Robust passive hardware metering. 802-809 - Michael DeBole, Ahmed Al-Maashri
A framework for accelerating neuromorphic-vision algorithms on FPGAs. 810-813
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-16 23:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: