Jointly sponsored by ACM and ieee, the internationalconference on computer-aideddesign (ICCAD) is the premier forum to explore emerging technology challenges in electronic design automation (EDA), to present leading...
详细信息
The proceedings contains 136 papers from the conference on ieee/ACM internationalconference on computeraideddesign: ICCAD-2003. The topics discussed include: adaptive error protection for energy efficiency;a framew...
详细信息
The proceedings contains 136 papers from the conference on ieee/ACM internationalconference on computeraideddesign: ICCAD-2003. The topics discussed include: adaptive error protection for energy efficiency;a framework for constrained functional verification;generator-based verification;efficient generation of monitor circuits for GSTE assertion graphs;Weibull based analytical waveform model;and physical and reduced-order dynamic analysis of MEMS.
The proceedings contain 114 papers. The topics discussed include: online fault detection and tolerance for photovoltaic energy harvesting systems;tunable sensors for process-aware voltage scaling;collaborative calibra...
The proceedings contain 114 papers. The topics discussed include: online fault detection and tolerance for photovoltaic energy harvesting systems;tunable sensors for process-aware voltage scaling;collaborative calibration of on-chip thermal sensors using performance counters;spatial correlation modeling for probe test cost reduction in RF devices;small-delay-fault ATPG with waveform accuracy;experimental analysis of a ring oscillator network for hardware Trojan detection in a 90nm ASIC;layout small-angle rotation and shift for EUV defect mitigation;a methodology for the early exploration of design rules for multiple-patterning technologies;a polynomial time triple patterning algorithm for cell based row-structure layout;improving last level cache locality by integrating loop and data transformations;asymmetric DRAM synthesis for heterogeneous chip multiprocessors in 3D-stacked architecture;and optimizing bandwidth and power of graphics memory with hybrid memory technologies and adaptive data migration.
The following topics are dealt with: circuit simulation, gate level test tools, database management systems (DBMS), circuit level test techniques, cell synthesis, testable arrays, device modeling, silicon compilers, d...
详细信息
ISBN:
(纸本)0818606878
The following topics are dealt with: circuit simulation, gate level test tools, database management systems (DBMS), circuit level test techniques, cell synthesis, testable arrays, device modeling, silicon compilers, design for testability, concurrent logic simulation, hardware accelerators, floor-planning tools, logic validation, module generators, timing simulation and analysis, layout verification, simulated annealing, knowledge-based systems, layout techniques, and high-level synthesis. 101 papers were presented, all of which are published in full in the present proceedings.
The proceedings contains 109 papers from the 1998 ieeeinternationalconference on computer-aideddesign. Topics discussed include: circuit simulation;layout and logic synthesis;dynamic system synthesis;design for tes...
详细信息
The proceedings contains 109 papers from the 1998 ieeeinternationalconference on computer-aideddesign. Topics discussed include: circuit simulation;layout and logic synthesis;dynamic system synthesis;design for testability;reduced order modeling;combinatorial logic synthesis;sequential circuit testing;numerical techniques for simulation and extraction;intellectual property protection;estimating noise in radio frequency systems;noise in digital systems;pass transistor and domino logic synthesis;floorplanning;test generation techniques;analog circuit synthesis;timing optimization in sequential synthesis;high-level synthesis;sequential verificational;memory and interfaces synthesis;and power estimation.
The proceedings contains 101 papers from the 1996 internationalconference on computeraideddesign. Topics discussed include: technology mapping;interconnect characterization and analysis;high performance routing syn...
详细信息
The proceedings contains 101 papers from the 1996 internationalconference on computeraideddesign. Topics discussed include: technology mapping;interconnect characterization and analysis;high performance routing synthesis;sequential circuit testing;formal verification;system design synthesis and compilation;timing analysis;high level design;power and performance in high level synthesis;high performance circuit optimization;circuit partitioning;automatic test pattern generation (ATPG);embedded applications;implication-based logic synthesis;advance numerical simulation techniques;robust routing;yield and technology modeling;power and timing analysis;verification and fault tolerance;and analog CAD and methodology.
The proceedings contain 135 papers from the ICCAD - 2004 - ieee/ACM internationalconference on computer-aideddesign, Digest of Technical Papers. The topics discussed include: statistical design and optimization of S...
详细信息
The proceedings contain 135 papers from the ICCAD - 2004 - ieee/ACM internationalconference on computer-aideddesign, Digest of Technical Papers. The topics discussed include: statistical design and optimization of SRAM cell for yield enhancement;DAG-aware circuit compression for formal verification;dynamic transition relation simplification for bounded property checking;fast simulation of VLSI interconnects;a soft error rate analysis (SERA) methodology;the care and feeding of your statistical static timer;a robust cell-level crosstalk delay change analysis;delay noise pessimism reduction by logic correlations;debugging sequential circuits using Boolean satisfiability;and towards formal verification of analog designs.
暂无评论