Detecting Tangled Logic Structures in VLSI Netlists (English)
- New search for: Jindal, T.
- New search for: Alpert, C.J.
- New search for: Hu, J.
- New search for: Li, Z.
- New search for: Nam, G.J.
- New search for: Winn, C.B.
- New search for: Jindal, T.
- New search for: Alpert, C.J.
- New search for: Hu, J.
- New search for: Li, Z.
- New search for: Nam, G.J.
- New search for: Winn, C.B.
In:
Design automation conference
;
603-608
;
2010
-
ISBN:
- Conference paper / Print
-
Title:Detecting Tangled Logic Structures in VLSI Netlists
-
Contributors:Jindal, T. ( author ) / Alpert, C.J. ( author ) / Hu, J. ( author ) / Li, Z. ( author ) / Nam, G.J. ( author ) / Winn, C.B. ( author ) / Institute of Electrical and Electronics Engineers; Association for Computing Machinery
-
Conference:47th, Design automation conference ; 2010 ; Anaheim, CA
-
Published in:Design automation conference ; 603-608DESIGN AUTOMATION CONFERENCE ; 603-608
-
Publisher:
- New search for: Curran
-
Place of publication:New York
-
Publication date:2010-01-01
-
Size:6 pages
-
Remarks:Includes bibliographical references and index
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
EDA challenges and options: Investing for the futurePuri, Ruchir / Joyner, William / Jammy, Raj / Jerraya, Ahmed / Rabaey, Jan / Rhines, Walden C et al. | 2010
- 1
-
Table of contents| 2010
- 3
-
Post-silicon Validation Challenges: How EDA and Academia Can HelpKeshava, J. / Hakim, N. / Prudvi, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 8
-
Post-Silicon Is Too Late: Avoiding the $50 Million Paperweight Starts with Validated DesignsGoodenough, J. / Aitken, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 12
-
Post-Silicon Validation Opportunities, Challenges and Recent AdvancesMitra, S. / Seshia, S.A. / Nicolici, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 18
-
A Mixed-Mode Vector-Based Dataflow Approach for Modeling and Simulating LTE Physical LayerHsu, C. / Pino, J.L. / Hu, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 24
-
Abstraction of RTL IPs into Embedded SoftwareBombieri, N. / Fummi, F. / Pravadelli, G. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 30
-
Online SystemC Emulation AccelerationSirowny, S. / Huang, C. / Vahid, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 36
-
LATA: A Latency and Throughput-Aware Packet Processing SystemKuang, J. / Bhuyan, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 42
-
A Probabilistic and Energy-Efficient Scheduling Approach for Online Application in Real-Time SystemsZitterell, T. / Scholl, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 48
-
Timing Analysis of Esterel Programs on General-purpose MultiprocessorsJu, L. / Huynh, B.K. / Roychoudhury, A. / Chakraborty, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 52
-
An Effective GPU Implementation of Breadth-First SearchLuo, L. / Wong, M. / Hwu, W. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 56
-
Thermal Monitoring of Real Processors: Techniques for Sensor Allocation and Full CharacterizationNowroz, A.N. / Cochran, R. / Reda, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 62
-
Consistent Runtime Thermal Prediction and Control Through Workload Phase DetectionCochran, R. / Reda, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 68
-
Adaptive and Autonomous Thermal Tracking for High Performance Computing SystemsZhang, Y. / Srivastava, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 74
-
Non-Uniform Clock Mesh Optimization with Linear Programming Buffer InsertionGuthaus, M.R. / Wilke, G. / Reis, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 80
-
Fast Timing-Model Independent Buffered Clock-Tree SynthesisShih, X. / Chang, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 86
-
Clock Tree Synthesis under Aggressive Buffer InsertionChen, Y. / Dong, C. / Chen, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 90
-
Global Routing and Track Assignment for Flip-Chip DesignsLiu, X. / Zhang, Y. / Yeap, G.K. / Chu, C. / Sun, J. / Zeng, X. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 94
-
Bridging Pre-Silicon Verification and Post-Silicon ValidationNahir, A. / Ziv, A. / Abramovici, M. / Camilleri, A. / Galivanche, R. / Bentley, B. / Foster, H. / Hu, A. / Bertacco, V. / Kapoor, S. et al. | 2010
- 96
-
Compilation and Virtualization in the HiPEAC VisionBertin, C. / Guillon, C. / De Bosschere, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 102
-
Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded SystemsCohen, A. / Rohou, E. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 108
-
Fine-grained I/O Access Control Based on Xen Virtualization for 3G/4G Mobile DevicesLee, S. / Suh, S. / Choi, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 114
-
Device HypervisorsFornaeus, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 120
-
A correlation-based design space exploration methodology for multi-processor systems-on-chipMariani, Giovanni / Brankovic, Aleksandar / Palermo, Gianluca / Jovic, Jovana / Zaccaria, Vittorio / Silvano, Cristina et al. | 2010
- 126
-
Cost-Aware Three-Dimensional (3D) Many-Core Multiprocessor DesignZhao, J. / Dong, X. / Xie, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 132
-
Off-Chip Memory Bandwidth Minimization through Cache Partitioning for Multi-Core PlatformsYu, C. / Petrov, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 138
-
Virtual Prototyper (ViPro): An Early Design Space Exploration and Optimization Tool for SRAM DesignersNalam, S. / Bhargava, M. / Mai, K. / Calhoun, B.H. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 144
-
Quantifying and Coping with Parametric Variations in 3D-Stacked MicroarchitecturesOzdemir, S. / Pan, Y. / Das, A. / Memik, G. / Loh, G. / Choudhary, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 150
-
Cost-driven 3D Integration with Interconnect LayersWu, X. / Sun, G. / Li, J. / Dong, X. / Das, R. / Xie, Y. / Das, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 156
-
A Multilayer Nanophotonic Interconnection Network for On-Chip Many-core CommunicationsZhang, X. / Louri, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 162
-
Virtual Channels vs. Multiple Physical Networks: a Comparative AnalysisYoon, Y.J. / Concer, N. / Petracca, M. / Carloni, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 166
-
An Efficient Dynamically Reconfigurable On-chip Network ArchitectureModarressi, M. / Sarbazi-Azad, H. / Tavakkot, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 170
-
An AIG-Based QBF-Solver Using SAT for PreprocessingPigorsch, F. / Scholl, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 176
-
Analyzing k-Step Induction to Compute Invariants for SAT-Based Property CheckingThalmaier, M. / Nguyen, M.D. / Wedler, M. / Stoffel, D. / Bormann, J. / Kunz, W. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 182
-
Coverage in Interpolation-based Model CheckingChockler, H. / Kroening, D. / Purandare, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 188
-
An Efficient Algorithm to Verify Generalized False PathsCoudert, O. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 194
-
A Parallel Integer Programming Approach to Global RoutingWu, T. / Davoodi, A. / Linderoth, J.T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 200
-
Multi-Threaded Collision-Aware Global Routing with Bounded-Length Maze RoutingLiu, W. / Kao, W. / Li, Y. / Chao, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 206
-
Two-Sided Single-Detour Untangling for Bus RoutingYan, J. / Chen, Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 212
-
An Optimal Algorithm for Finding Disjoint Rectangles and Its Application to PCB RoutingKong, H. / Ma, Q. / Yan, T. / Wong, M.D.F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 218
-
Who Solves the Variability Problem?Nagaraj, N.S. / Kawa, J. / Pitchumani, V. / Aitken, R. / Strojwas, A. / Rey, J.C. / Lutkemeyer, C. / Trimberger, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 220
-
Joint DAC/IWBDA Special Session Engineering Biology: Fundamentals and ApplicationsRiedel, M. / Silver, P. / Hassoun, S. / Anderson, J.C. / Weiss, R. / Murray, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 222
-
Gate-Level Characterization: Foundations and Hardware Security ApplicationsWei, S. / Meguerdichian, S. / Potkonjak, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 228
-
SCEMIT: A SystemC Error and Mutation Injection ToolLisherness, P. / Cheng, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 234
-
Towards Scalable System-Level Reliability AnalysisGlass, M. / Lukasiewycz, M. / Haubelt, C. / Teich, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 240
-
Quality Metric Evaluation of a Physical Unclonable Function Derived from an IC's Power Distribution SystemHelinski, R. / Acharyya, D. / Plusquellic, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 244
-
Theoretical Analysis of Gate Level Information Flow TrackingOberg, J. / Hu, W. / Irturk, A. / Tiwari, M. / Sherwood, T. / Kastner, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 248
-
Exploiting Finite Precision Information to Guide Data-Flow MappingNovo, D. / Li, M. / Fasthuber, R. / Raghavan, P. / Catthoor, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 254
-
Robust Design Methods for Hardware Accelerators for Iterative Algorithms in Scientific ComputingKinsman, A.B. / Nicolici, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 258
-
New Model-Driven Design and Generation of Multi-Facet Arbiters Part I: From the Design Model to the Architecture ModelJou, J.M. / Wu, S. / Lee, Y. / Chou, C. / Jeang, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 262
-
Bayesian Virtual Probe: Minimizing Variation Characterization Cost for Nanoscale IC Technologies via Bayesian InferenceZhang, W. / Li, X. / Rutenbar, R.A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 268
-
Speedpath Analysis Under Parametric Timing ModelsSilva, L.G.E. / Phillips, J.R. / Silveira, L.M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 274
-
Post-Silicon Diagnosis of Segments of Failing Speedpaths due to Manufacturing VariationsXie, L. / Davoodi, A. / Saluja, K.K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 280
-
Pulsed-Latch Aware Placement for Timing-Integrity OptimizationChuang, Y. / Kim, S. / Shin, Y. / Chang, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 286
-
History-based VLSI Legalization using Network FlowCho, M. / Ren, H. / Xiang, H. / Puri, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 292
-
Performance-driven Analog Placement Considering Boundary ConstraintLin, C. / Lin, J. / Huang, C. / Chang, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 298
-
3-D Stacked Die: Now or Future?Bansal, S. / Yang, A. / Magarshack, P. / Jang, M. / Rey, J.C. / Lu, L.C. / Radojcic, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 300
-
Networks on Chips: From Research to ProductsDe Micheli, G. / Seiculescu, C. / Murali, S. / Benini, L. / Angiolini, F. / Pullini, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 306
-
The Aethereal Network on Chip after Ten Years: Goals, Evolution, Lessons, and FutureGoossens, K. / Hansson, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 312
-
The Evolution of SOC Interconnect and How NOC Fits Within ItMathewson, B. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 314
-
Automatic Multithreaded Pipeline Synthesis from Transactional Datapath SpecificationsNurvitadhi, E. / Hoe, J.C. / Lu, S.L. / Kam, T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 320
-
On the Costs and Benefits of Stochasticity in Stream ProcessingNadakuditi, R.R. / Markov, I.L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 326
-
Performance Yield-Driven Task Allocation and Scheduling for MPSoCs under Process VariationHuang, L. / Xu, Q. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 332
-
Worst-Case Response Time Analysis of Resource Access Models in Multi-Core SystemsSchranzhofer, A. / Thiele, L. / Pellizzoni, R. / Caccamo, M. / Chen, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 338
-
A New IP Lookup Cache for High Performance IP RoutersLiao, G. / Yu, H. / Bhuyan, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 344
-
Instruction Cache Locking Using Temporal Reuse ProfileLiang, Y. / Mitra, T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 350
-
Reducing Write Activities on Non-volatile Memories in Embedded CMPs via Data Migration and RecomputationHu, J. / Xue, C.J. / Tseng, W. / He, Y. / Qiu, M. / Sha, E.H.M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 356
-
SCUD: A Fast Single-pass L1 Cache Simulation Approach for Embedded Processors with Round-robin Replacement PolicyHaque, M.S. / Peddersen, J. / Janapsatya, A. / Parameswaran, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 362
-
Fully X-tolerant, Very High Scan CompressionWohl, P. / Waicukauski, J.A. / Neuveux, F. / Gizdarski, E. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 368
-
BLoG: Post-Silicon Bug Localization in Processors using Bug Localization GraphsPark, S. / Bracy, A. / Wang, H. / Mitra, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 374
-
Classification Rule Learning Using Subgroup Discovery of Cross-Domain Attributes Responsible for Design-Silicon MismatchCallegari, N. / Drmanac, D. / Wang, L. / Abadir, M.S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 380
-
Efficient Fault Simulation on Many-Core ProcessorsKochte, M.A. / Schaal, M. / Wunderlich, H. / Zoellin, C.G. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 386
-
Representative Path Selection for Post-Silicon Timing Prediction Under VariabilityXie, L. / Davoodi, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 392
-
QuickYield: An Efficient Global-Search Based Parametric Yield Estimation with Performance ConstraintsGong, F. / Yu, H. / Shi, Y. / Kim, D. / Ren, J. / He, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 398
-
Double Patterning Lithography Aware Gridless Detailed Routing with Innovative Conflict GraphLin, Y. / Li, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 404
-
Frequency Domain Decomposition of Layouts for Double Dipole LithographyAgarwal, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 408
-
Compact Modeling and Robust Layout Optimization for Contacts in Deep Sub-wavelength LithographyBan, Y. / Pan, D.Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 412
-
Does IC Design Have a Future in the Clouds?Kuehlmann, A. / Colgan, J. / Griffith, R. / Chilton, J. / Leventis, P. / Camposano, R. / George, S. / Singh, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 415
-
Automated Compact Dynamical Modeling: An Enabling Tool for Analog DesignersBond, B.N. / Daniel, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 421
-
Model-Based Functional VerificationKundert, K. / Chang, H. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 425
-
Fortifying Analog Models with Equivalence Checking and Coverage AnalysisHorowitz, M. / Jeeradit, M. / Lau, F. / Liao, S. / Lim, B. / Mao, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 431
-
Automated Modeling and Emulation of Interconnect Designs for Many-Core Chip MultiprocessorsIhrig, C.J. / Melhem, R. / Jones, A.K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 437
-
Trace-Driven Optimization of Networks-on-Chip ConfigurationsKahng, A.B. / Lin, B. / Samadi, K. / Ramanujam, R.S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 443
-
ACES: Application-Specific Cycle Elimination and Splitting for Deadlock-Free Routing on Irregular Network-on-ChipCong, J. / Liu, C. / Reinman, G. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 449
-
NTPT: On the End-to-End Traffic Prediction in the On-Chip NetworksHuang, Y.S. / Chou, K.C. / King, C. / Tseng, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 453
-
Application-Aware NoC Design for Efficient SDRAM AccessJang, W. / Pan, D.Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 457
-
Embedded Memory Binding in FPGAsElizeh, K. / Nicolici, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 463
-
Rewiring For RobustnessJose, M. / Hu, Y. / Majumdar, R. / He, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 469
-
RAMP Gold: An FPGA-based Architecture Simulator for MultiprocessorsTan, Z. / Waterman, A. / Avizienis, R. / Lee, Y. / Cook, H. / Patterson, D. / Asanovic, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 475
-
Efficient Tail Estimation for Massive Correlated Log-normal Sums - With Applications in Statistical Leakage AnalysisGao, M. / Ye, Z. / Wang, Y. / Yu, Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 481
-
A Linear Algorithm for Full-Chip Statistical Leakage Power Analysis Considering Weak Spatial CorrelationShen, R. / Tan, S.X.D. / Xiong, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 487
-
Synthesis and Implementation of Active Mode Power Gating CircuitsSeomun, J. / Shin, I. / Shin, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 493
-
Leakage-Aware Dynamic Scheduling for Real-Time Adaptive Applications on Multiprocessor SystemsYu, H. / Veeravalli, B. / Ha, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 499
-
BooM: A Decision Procedure for Boolean Matching with Abstraction and Dynamic LearningLai, C. / Jiang, J.R. / Wang, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 505
-
Node Addition and Removal in the Presence of Don't CaresChen, Y. / Wang, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 511
-
ECR: A Low Complexity Generalized Error Cancellation Rewiring SchemeYang, X. / Lam, T. / Wu, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 517
-
LUT-Based FPGA Technology Mapping for ReliabilityCong, J. / Minkovich, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 523
-
What's Cool for the Future of Ultra Low Power Designs?Nagaraj, N.S. / Nazifi, K. / Gibbons, A. / Puvvada, V. / Byler, J. / Saito, T. / Balajee, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 525
-
Verification for Fault Tolerance of the IBM System z MicroprocessorThompto, B.W. / Hoppe, B. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 531
-
Formal Modeling and Reasoning for Reliability AnalysisMiskov-Zivanov, N. / Marculescu, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 537
-
Using Introspective Software-Based Testing for Post-Silicon Debug and RepairConstantinides, K. / Austin, T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 543
-
Xetal-Pro: An Ultra-Low Energy and High Throughput SIMD ProcessorHe, Y. / Pu, Y. / Kleihorst, R. / Ye, Z. / Abbo, A.A. / Londono, S.M. / Corporaal, H. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 549
-
A Framework for Automatic Parallelization, Static and Dynamic Memory Optimization in MPSoC PlatformsIosifidis, Y. / Mallik, A. / Mamagkakis, S. / De Greef, E. / Bartzas, A. / Soudris, D. / Catthoor, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 555
-
Scalable Effort Hardware Design: Exploiting Algorithmic Resilience for Energy EfficiencyChippa, V.K. / Mohapatra, D. / Raghunathan, A. / Roy, K. / Chakradhar, S.T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 561
-
Parallel Program Performance Modeling for Runtime Optimization of Multi-Algorithm Circuit SimulationYe, X. / Li, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 567
-
Separatrices in High-Dimensional State Space: System-Theoretical Tangent Computation and Application to SRAM Dynamic Stability AnalysisZhang, Y. / Li, P. / Huang, G.M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 573
-
A Robust Periodic Arnoldi Shooting Algorithm for Efficient Analysis of Large-scale RF/MM ICsLiu, X. / Yu, H. / Tan, S.X.D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 579
-
Distributed Task Migration for Thermal Management in Many-core SystemsGe, Y. / Malani, P. / Qiu, Q. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 585
-
Thermal Aware Task Sequencing on Embedded ProcessorsZhang, S. / Chatha, K.S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 591
-
A Framework for Optimizing Thermoelectric Active Cooling SystemsLong, J. / Memik, S.O. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 597
-
Eyecharts: Constructive Benchmarking of Gate Sizing HeuristicsGupta, P. / Kahng, A.B. / Kasibhatla, A. / Sharma, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 603
-
Detecting Tangled Logic Structures in VLSI NetlistsJindal, T. / Alpert, C.J. / Hu, J. / Li, Z. / Nam, G.J. / Winn, C.B. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 609
-
Lattice-Based Computation of Boolean FunctionsAltun, M. / Riedel, M.D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 613
-
A Novel Optimal Single Constant Multiplication AlgorithmThong, J. / Nicolici, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 617
-
Education Panel: Designing the Always Connected Car of the FutureGhosal, A. / Giusto, P. / Sangiovanni-Vincentelli, A. / D Ambrosio, J. / Tung, J. / Nuckolls, E. / Kuhl, M. / Wilheim, H. / Van Staa, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 619
-
Find Your Flow: Increasing Flow Experience by Designing ``Human'' Embedded SystemsChou, C. / Miron, A.M. / Marculescu, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 621
-
Electronic Design Automation for Social NetworksDeOrio, A. / Bertacco, V. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 623
-
Real Time Emulations: Foundation and ApplicationsMirhoseini, a. / Alkabani, Y. / Koushanfar, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 625
-
Network on Chip Design and Optimization Using Specialized Influence ModelsAbabei, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 627
-
Circuit Modeling for Practical Many-core Architecture Design ExplorationTruong, D.N. / Baas, B.M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 629
-
Hierarchical Hybrid Power Supply NetworksKoushanfar, F. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 631
-
Detachable Nano-Carbon Chip with Ultra Low PowerFujita, S. / Yasuda, S. / Lee, D.S. / Chen, X. / Akinwande, D. / Wong, H.S.P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 633
-
Synthesis of Trustable ICs using Untrusted CAD ToolsPotkonjak, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 635
-
Synchronization of Washing Operations with Droplet Routing for Cross-Contamination Avoidance in Digital Microfluidic BiochipsZhao, Y. / Chakrabarty, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 641
-
Cross-Contamination Aware Design Methodology for Pin-Constrained Digital Microfluidic BiochipsLin, C.C. / Chang, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 647
-
Reducing the Number of Lines in Reversible CircuitsWille, R. / Soeken, M. / Drechsler, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 653
-
Synthesis of the Optimal 4-bit Reversible CircuitsGolubitsky, O. / Falconer, S.M. / Maslov, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 657
-
Crosstalk Noise and Bit Error Rate Analysis for Optical Network-on-ChipXie, Y. / Nikdast, M. / Xu, J. / Zhang, W. / Li, Q. / Wu, X. / Ye, Y. / Wang, X. / Liu, W. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 661
-
Parallel Multigrid Preconditioning on Graphics Processing Units (GPUs) for Robust Power Grid AnalysisFeng, Z. / Zeng, Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 667
-
Stochastic Dominant Singular Vectors Method for Variation-Aware ExtractionEl-Moselhy, T. / Daniel, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 673
-
Closed-Form Modeling of Layout-Dependent Mechanical StressJoshi, V. / Sukharev, V. / Torres, A. / Agarwal, K. / Sylvester, D. / Blaauw, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 679
-
Generating Parametric Models from Tabulated DataLefteriu, S. / Mohring, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 683
-
MFTI: Matrix-Format Tangential Interpolation for Modeling Multi-Port SystemsWang, Y. / Lei, C. / Pang, G.K.H. / Wong, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 687
-
A Universal State-of-Charge Algorithm for BatteriesXiao, B. / Shi, Y. / He, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 693
-
A Complete Design-Flow for the Generation of Ultra Low-Power WSN Node Architectures Based on Micro-TaskingPasha, M.A. / Derrien, S. / Sentieys, O. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 699
-
Stacking SRAM Banks for Ultra Low Power Standby Mode OperationCabe, A.C. / Qi, Z. / Stan, M.R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 705
-
PreDVS: Preemptive Dynamic Voltage Scaling for Real-time Systems using Approximation SchemeWang, W. / Mishra, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 711
-
In-situ Characterization and Extraction of SRAM VariabilityChellappa, S. / Ni, J. / Yao, X. / Hindman, N. / Velamala, J. / Chen, M. / Cao, Y. / Clark, L.T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 717
-
A Holistic Approach for Statistical SRAM AnalysisZuber, P. / Dobrovolny, P. / Miranda, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 723
-
Clock Tree Synthesis with Pre-bond Testability for 3D Stacked IC DesignsKim, T.-Y. / Kim, T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 729
-
An Efficient Phase Detector Connection Structure for the Skew Synchronization SystemKao, Y. / Chou, H. / Tsai, K. / Chang, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 735
-
Joint User Track Panel (Session 11U) - What Will Make Your Next Design Experience a Much Better One?Harms, T. / Caraballo, J. / D Sa, R. / Haring, R. / Urbaniak, D. / Wolski, G. / You, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 736
-
Cyber-Physical Systems: The Next Computing RevolutionRajkumar, R. / Lee, I. / Sha, L. / Stankovic, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 742
-
CPS FoundationsLee, E.A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 748
-
Medical Cyber Physical SystemsLee, I. / Sokolsky, O. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 754
-
Cyber-Physical Energy Systems: Focus on Smart BuildingsKleissl, J. / Agarwal, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 760
-
Scalable Specification Mining for Verification and DiagnosisLi, W. / Forin, A. / Seshia, S.A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 766
-
Distributed Time, Conservative Parallel Logic Simulation on GPUsWang, B. / Zhu, Y. / Deng, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 772
-
An Efficient Test Vector Generation for Checking Analog/Mixed-Signal Functional ModelsLim, B.C. / Kim, J. / Horowitz, M.A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 778
-
Leveraging UPF-Extracted Assertions for Modeling and Formal Verification of Architectural Power IntentHazra, A. / Mitra, S. / Dasgupta, P. / Pal, A. / Bagchi, D. / Guha, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 782
-
Efficient Simulation of Oscillatory Combinational LoopsFayyazi, M. / Kirsch, L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 786
-
Transistor Sizing of Custom High-Performance Digital Circuits With Parametric Yield ConsiderationsBeece, D.K. / Xiong, J. / Visweswariah, C. / Zolotov, V. / Liu, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 792
-
RDE-Based Transistor-Level Gate Simulation for Statistical Static Timing AnalysisTang, Q. / Zjajo, A. / Berkelaar, M. / Meijs, N.V.D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 798
-
Efficient Smart Monte Carlo based SSTA on Graphics Processing Units with Improved Resource UtilizationVeetil, V. / Chang, Y. / Sylvester, D. / Blaauw, D. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 804
-
Static Timing Analysis for Flexible TFT CircuitsHsu, C. / Liu, C. / Ma, E. / Li, J.C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 808
-
TSV Stress Aware Timing Analysis with Applications to 3D-IC Layout OptimizationYang, J. / Athikulwongse, K. / Lee, Y. / Lim, S.K. / Pan, D.Z. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 812
-
A System for Online Power Prediction in Virtualized Environments Using Gaussian Mixture ModelsDhiman, G. / Mihic, K. / Rosing, T. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 818
-
Performance and Power Modeling in a Multi-Programmed Multi-Core EnvironmentChen, X. / Dick, R.P. / Xu, C. / Mao, Z.M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 824
-
Reliability Aware Power Management for Dual-Processor Real-Time Embedded SystemsSridharan, R. / Mahapatra, R. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 830
-
Recovery-Driven Design: A Power Minimization Methodology for Error-Tolerant Processor ModulesKahng, A.B. / Kang, S. / Kumar, R. / Sartori, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 836
-
Tradeoff Analysis and Optimization of Power Delivery Networks with On-Chip Voltage RegulationZeng, Z. / Ye, X. / Feng, Z. / Li, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 842
-
An Efficient Dual Algorithm for Vectorless Power Grid Verification under Linear Current ConstraintsXiong, X. / Wang, J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 848
-
Parallel Hierarchical Cross Entropy Optimization for On-Chip Decap BudgetingZhao, X. / Guo, Y. / Feng, Z. / Hu, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 854
-
SRAM-Based NBTI/PBTI Sensor System DesignQu, Z. / Wang, J. / Cabe, A. / Wooters, S. / Blalock, T. / Calhoun, B. / Stan, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 858
-
A Statistical Simulation Method for Reliability Analysis of SRAM Core-CellsFonseca, R.A. / Dilillo, L. / Bosio, A. / Girard, P. / Pravossoudovitch, S. / Virazel, A. / Badereddine, N. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 862
-
What Input-Language is the Best Choice for High Level Synthesis (HLS)?Gajski, D. / Austin, T. / Svoboda, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 864
-
Stochastic ComputationShanbhag, N.R. / Abdallah, R.A. / Kumar, R. / Jones, D.L. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 870
-
Best-effort Computing: Re-thinking Parallel Software and HardwareChakradhar, S.T. / Raghunathan, A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 876
-
Hardware That Produces Bounded Rather Than Exact ResultsBreuer, M. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 882
-
Impact of Process Variations on Emerging MemristorNiu, D. / Chen, Y. / Xu, C. / Xie, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 888
-
Reconfigurable Multi-Function Logic Based on Graphene P-N JunctionsTanachutiwat, S. / Lee, J.U. / Wang, W. / Sung, C.Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 894
-
Carbon Nanotube Correlation: Promising Opportunity for CNFET Circuit Yield EnhancementZhang, J. / Bobba, S. / Patil, N. / Lin, A. / Wong, H.P. / De Micheli, G. / Mitra, S. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 898
-
Design and Analysis of Compact Ultra Energy-Efficient Logic Gates Using Laterally-Actuated Double-Electrode NEMSDadgour, H.F. / Hussain, M.M. / Smith, C. / Banerjee, K. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 902
-
Toward Efficient Large-Scale Performance Modeling of Integrated Circuits via Multi-Mode/Multi-Corner Sparse RegressionZhang, W. / Chen, T. / Ting, M. / Li, X. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 908
-
Behavior-Level Yield Enhancement Approach for Large-Scaled Analog CircuitsKuo, C. / Chen, Y. / Tsai, I. / Chan, L. / Liu, C.J. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 914
-
Generation of Yield-Embedded Pareto-Front for Simultaneous Optimization of Yield and PerformancesLiu, Y. / Yoshioka, M. / Homma, K. / Shibuya, T. / Kanazawa, Y. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 918
-
Pareto Sampling: Choosing the Right Weights by Derivative PursuitSinghee, A. / Castalino, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 922
-
An Error Tolerance Scheme for 3D CMOS ImagersChang, H. / Huang, J. / Kwai, D. / Chang, K. / Wu, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 928
-
Fast Identification of Operating Current for Toggle MRAM by Spiral SearchWang, S. / Chen, C. / Wu, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 934
-
Exploiting Reconfigurability for Low-Cost In-Situ Test and Monitoring of Digital PLLsYin, L. / Li, P. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 940
-
Smart Phone PowerJohn, J. / Riddle, C. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 942
-
What's Smart about the Smart Grid?Hiskens, I.A. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- 945
-
On-die Power Grids: The Missing LinkChiprout, E. / Institute of Electrical and Electronics Engineers; Association for Computing Machinery et al. | 2010
- i
-
General chair's message| 2010
- iii
-
Executive Committee| 2010
- xiii
-
Tuesday keynote address| 2010
- xiv
-
Wednesday keynote address| 2010
- xv
-
Thursday keynote address| 2010
- xxii
-
Reviewers| 2010
- xxvi
-
Call for contributions [48th Design Automation Conference]| 2010