Title :
ICCAD 2004. International Conference on Computer Aided Design (IEEE Cat. No.04CH37606)
Abstract :
The following topics are dealt with: statistical modeling and optimization methodologies: system-level energy management; equivalence verification; advances in interconnect analysis; soft error rate analysis; application specific memory and processor architecture design techniques; statistical static timer; crosstalk-aware timing and noise analysis; system software optimizations; formal verification; algorithms and modeling techniques for bio and nano technologies; developments in timing analysis and optimization; energy efficiency and interconnect design; floorplanning for advanced technologies; robust design tools; variability impact on design; architectural issues in system synthesis; integrated placement applications; logic synthesis; interconnect coding; statistical timing methods; power grid analysis; clocking; analog and digital diagnosis; design metrics; analog/RF macromodeling and simulation; design manufacturing interface; FPGA; high-level design; power analysis; routing; analog sizing; test generation; system level modeling and design; and mixed-signal modeling and design.
Keywords :
field programmable gate arrays; formal verification; high level synthesis; integrated circuit design; integrated circuit interconnections; integrated circuit modelling; integrated circuit noise; integrated circuit testing; mixed analogue-digital integrated circuits; statistical analysis; FPGA; analog diagnosis; analog sizing; analog/RF macromodeling; application specific memory; bio technologies; crosstalk-aware timing; design manufacturing interface; design metrics; digital diagnosis; energy efficiency; equivalence verification; floorplanning; formal verification; high-level design; integrated placement applications; interconnect analysis; interconnect coding; logic synthesis; mixed-signal modeling; nano technologies; noise analysis; optimization methodologies; power analysis; power grid analysis; processor architecture design techniques; robust design tools; simulation; soft error rate analysis; statistical modeling; statistical static timer; statistical timing methods; system level modeling; system software optimizations; system synthesis; system-level energy management; test generation; timing analysis;
Conference_Titel :
Computer Aided Design, 2004. ICCAD-2004. IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-7803-8702-3
DOI :
10.1109/ICCAD.2004.1382513
