Abbrevation
ICCD
City
Amherst
Country
United States
Deadline Paper
Start Date
End Date
Abstract

<P align=justify><SPAN style="FONT&#8211;FAMILY: &#8242;&#8211;moz&#8211;fixed&#8242;,&#8242;serif&#8242;; FONT&#8211;SIZE: 10pt; mso&#8211;fareast&#8211;font&#8211;family: Calibri; mso&#8211;fareast&#8211;theme&#8211;font: minor&#8211;latin; mso&#8211;bidi&#8211;font&#8211;family: &#8242;Times New Roman&#8242;; mso&#8211;ansi&#8211;language: DE; mso&#8211;fareast&#8211;language: DE; mso&#8211;bidi&#8211;language: AR&#8211;SA">The International Conference on Computer Design encompasses a wide range <BR>of topics in the research, design, and implementation of computer <BR>systems and their components&#046; ICCD&#8242;s multi&#8211;disciplinary emphasis <BR>provides an ideal environment for developers and researchers to discuss <BR>practical and theoretical work covering system and computer <BR>architecture, verification and test, design and technology, and tools <BR>and methodologies&#046; <BR><BR>The theme for the 2011 ICCD conference is: <BR><BR>&#8211; Pervasive Computing &#8211; <BR><BR>Submitted papers consistent with this theme are encouraged, but <BR>manuscripts describing original work on any topic within the scope of <BR>ICCD are welcome&#046; Authors are asked to submit technical papers in <BR>accordance to the author&#8242;s instructions in one of the following five <BR>conference tracks: <BR><BR>Computer Systems and Applications: <BR>* Advanced computer architecture for general and application&#8211;specific <BR>enhancement; <BR>* Software design for embedded, mobile, general&#8211;purpose, cloud, and <BR>high&#8211;performance platforms; <BR>* IP and platform&#8211;based designs; <BR>* HW/SW co&#8211;design; <BR>* Modeling and performance analysis; <BR>* Support for security, languages and operating systems; <BR>* Real&#8211;time systems; Application&#8211;specific and embedded software <BR>optimization; <BR>* Optimizing and parallelizing compiler support for multithreaded and <BR>multi&#8211;core designs; <BR>* Memory system and network system optimization; <BR>* On&#8211;chip and system&#8211;area networks; <BR>* Support for communication and synchronization (e&#046;g&#046;, transactional <BR>memory)&#046; <BR><BR>Processor Architecture: <BR>* Microarchitecture design techniques for uni&#8211; and multi&#8211;core <BR>processors: instruction&#8211;level parallelism, pipelining, caching, branch <BR>prediction, multithreading; <BR>* Techniques for low&#8211;power, secure, and reliable processor designs; <BR>* Embedded, network, graphic, system&#8211;on&#8211;chip, application&#8211;specific and <BR>digital signal processor design; <BR>* Hardware support for processor virtualization; <BR>* Real&#8211;life design challenges: case studies, tradeoffs and post&#8211;mortems&#046; <BR><BR>Logic and Circuit Design: <BR>* Circuits and design techniques for digital, memory, analog and <BR>mixed&#8211;signal systems; <BR>* Circuits and design techniques for high performance and low power; <BR>* Circuits and design techniques for robustness under process <BR>variability and radiation; <BR>* Design techniques for emerging process technologies (MEMs, <BR>spintronics, nano, quantum); <BR>* Asynchronous circuits; <BR>* Signal processing and arithmetic circuits, and circuits for graphic <BR>processor design&#046; <BR><BR>Electronic Design Automation: <BR>* High&#8211;level, logic and physical synthesis; <BR>* Physical planning, design and early estimation for large circuits; <BR>* Automatic analysis and optimization of timing, power and noise; <BR>* Tools for multiple&#8211;clock domains, asynchronous and mixed timing <BR>methodologies; <BR>* CAD support for FPGAs, ASSPs, structured ASICs, platform&#8211;based design <BR>and networks&#8211;on&#8211; <BR>chip; <BR>* DfM and OPC methodologies; <BR>* System&#8211;level design; <BR>* System&#8211;level synthesis; <BR>* Tools, methodologies and design strategies for emerging technologies <BR>(MEMs, spintronics, nano, quantum)&#046; <BR><BR>Verification and Test: <BR>* Functional, transaction&#8211;level, RTL, and gate&#8211;level modeling and <BR>verification of hardware designs; <BR>* Modeling, verification, and specification languages; <BR>* Simulation&#8211;based and formal techniques for design verification; <BR>* Assertion&#8211;based verification; <BR>* Equivalence checking, property checking, and theorem proving; <BR>* Coverage&#8211;analysis; <BR>* Constrained&#8211;random test generation; <BR>* High&#8211;level design validation; <BR>* Hardware/Software integration and hardware emulation; <BR>* SoC verification; <BR>* Design error debug and diagnosis; <BR>* Fault modeling; <BR>* Fault simulation and ATPG; <BR>* Fault tolerance; <BR>* DFT and BIST&#046; <BR style="mso&#8211;special&#8211;character: line&#8211;break"><BR style="mso&#8211;special&#8211;character: line&#8211;break"></SPAN></P>