Committees

D1 System Specification and Modeling

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Modeling and specification methodologies for complex, HW-SW embedded systems; system-level modeling and simulation of multi- and many-core SoCs; system modeling and specification languages; model-driven engineering; metamodelling; executable specifications; specification driven design and validation flows; modeling of run-time adaptivity; models of computation; multi-criteria formal specifications and semantics.

D2 System Co-Design, Synthesis and Optimization

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Synthesis of complete systems, application- and domain-specific synthesis techniques; system-level models for design, optimization and synthesis; hardware/software co-design and partitioning issues; hardware/software interface and communication synthesis; interface-based and correct-by construction designs; system-level scheduling techniques; protocol synthesis and optimization; system optimization for all cost functions (timing, electrical, non-functional); multi-objective, classical and nature-inspired optimization techniques for system level design; large-scale and industrial

Conference

D3 Simulation and Validation

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Simulation-based verification; testbench generation; design error debug and diagnosis; post-silicon validation; hardware/software co-simulation and validation, ATPG for validation; transaction-level validation; semi-formal verification techniques; advanced simulation and emulation techniques from system to circuit level; simulation accelerators; multi-domain simulation techniques for mixed systems.

Conference

D4 Design of Low Power Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Design methods, techniques and case studies of low power systems, covering aspects from specification, mapping, system architecture to circuit, including HW, SW, power management, batteries, energy harvesting, thermal aware computation and technology aware design aspects in nanometer technologies (i.e., leakage, variability, reliability, 3D stacking, etc)

Conference

D5 Power Estimation and Optimization

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Algorithms, techniques and tools for power modelling, estimation and optimization of electronic systems applicable at all levels of the design hierarchy, from system-level specification to layout, including software and run-time management.

Conference

D6 Emerging Technologies, Systems and Applications

neumann — Thu, 28 Aug 2008 00:00:00 +0200

System design methods, models of computation, and case studies for emerging applications: ambient intelligence, ubiquitous computing, wearable computing, sensor networks, bio-inspired computation; Design automation flows and case studies for upcoming and future technologies: MEMS, BIOMEMS, Lab-on-a-chip, 3D integration, nanoscale and molecular scale circuits and systems.

Conference

D7 Formal Methods and Verification

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Formal verification and specification techniques (including equivalence checking, model checking, symbolic simulation, theorem-proving, abstraction and refinement techniques, and real time verification); technologies supporting formal verification (including SMT, SAT, BDD, ATPG, and related work); semi-formal verification techniques; applications and case studies; formal verification of IPs, SoCs, cores and real-time/embedded systems; verification in practice, namely the integration of verification into the design flow.

Conference

D8 Network on Chip

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Architecture, modelling and design techniques for network on chip; design methods for the on-chip interconnection network: interconnect topology, switching, routing and flow control methods; architecture and design for fault-tolerance, reliability enhancement, quality of service, dynamic voltage and frequency scaling; techniques and methodologies for NoC testing; GALS synchronization architectures for networks-on-chip; physical design techniques and methodologies; hardware/software communication abstraction, component-based modelling, platform-based design and methodologies, NoC

Conference

D9 Architectural and Microarchitectural Design

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Architectural and microarchitectural design techniques, memory systems, power and energy efficient architectures, multi/many-core architectures, multithreading techniques and support for parallelism, modelling and performance analysis, advanced computer architecture for application-specific applications, special purpose processors and accelerators, arithmetic architectures, future and emerging architectures.

Conference

D10 Architectural and High-Level Synthesis

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Synthesis of hardware systems from high-level descriptions; hardware-centric system-level synthesis, analysis, and optimization; high-level language hardware description, parsing and compilation; scheduling, allocation, and binding of operations, variables, and transfers; automatic design and optimization of datapaths, dedicated memory and communication structures, and controllers; performance, cost, and power driven architectural-level optimisations; application-specific processor generation, automatic processor customization, and accelerator synthesis.

Conference

D11 Reconfigurable Computing

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Statically and dynamically reconfigurable and reprogrammable systems and components: platforms and architectures, FPGAs, reconfigurable processors, design methods and tools for reconfigurable computing and communication, applications.

Conference

D12 Logic and Technology Dependent Synthesis for Deep-Submicron Circuits

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Combinational and sequential synthesis; data structures for synthesis; technology mapping; hierarchical and non-hierarchical controller synthesis; state assignment; methods for FSM optimization, synthesis and analysis; asynchronous and mixed synchronous/asynchronous circuits; performance and timing driven synthesis; PLD and FPGA synthesis; combined logic synthesis and layout design, statistical timing analysis, timing closure; arithmetic circuits

Conference

D13 Physical Design and Verification

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Floorplanning; automatic place and route; module generation; design rule checking and layout characterization; electrical verification; problems in deep sub-micron and high-speed design; interconnect-driven and performance-driven layout; process technology developments; design for manufacturability.

Conference

D14 Analog and Mixed-Signal Systems and Circuits

neumann — Thu, 28 Aug 2008 00:00:00 +0200

CAD for analogue and mixed-signal circuits and systems: Layout, Topology generation, Architecture and System Synthesis, Modelling of AMS circuits and systems, Modelling strategies, Modelling of complex analogue mixed-signal systems, Model generation, Formal and Symbolic Techniques; Languages for AMS circuits and systems: VHDL-AMS, Verilog-AMS, SystemC-AMS, Matlab/Simulink, Ptolomy; Innovative circuit topologies and architectures: Topologies/architectures that increase robustness, Topologies/architectures that increase re-usability; Modelling and Synthesis of Multi-Domain systems: MEMS, Ener

Conference

D15 Interconnect, EMC, EMD and Packaging Modeling

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Modelling, characterisation and analysis of on and off chip interconnects and packaging; modelling and analysis of noise due to electromagnetic interaction on signal, power/ground and substrate; electromagnetic emission, susceptibility and compatibility.

Conference

A1 Computing Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Practical experiences in industrial or funded projects targeting high performant parallel computing systems. These can be massively parallel (super)computers, cloud computers, or smart combinations of these.

Conference

A2 Communication, Consumer and Multimedia Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Practical design experience for communication, multimedia and consumer systems like smart-phones, smart-books/tablets; examples are digital integrated circuits design of flexible baseband processing systems, Intellectual Properties for wireless communication, design challenges for software defined radio systems; embedded systems design in the field of audio, video and vision domain; Application Specific Processors (ASP)/ Digital Signal Processors (DSP) for these domains.

Conference

A3 Transportation Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Practical design experiences for transportation systems and applications: analogue and mixed-signal integrated circuits, micro-electromechanical systems, high voltage structures and integrated sensors and transducers, RF architectures, distributed and multicore systems, networks of systems, real-time reliable embedded systems. Design for reliability and security in safety-critical systems.

Conference

A4 Medical and Healthcare Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Medical, healthcare, and life science applications require increasingly smarter and smaller devices and personalized medicine will lead to a significant increase in both complex lab solutions as well as a myriad of consumer-like disposable devices.

Conference

A5 Energy Generation, Recovery and Management Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Energy issues are of paramount importance in nanoelectronic devices, circuits and systems of the future.

Conference

A6 Secure, Dependable and Adaptive Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Secure embedded systems need a combination of hardware, software and embedded techniques to succeed. Indeed, the weakest link in the security chain determines the overall system security. This topic therefore invites papers on novel technologies and experiences for specific security problems as well as overall design integration methods for secure systems-on-chip and embedded systems.

Conference

T1 Test for Defects, Variability and Reliability

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Identification, characterization and modeling of defects, faults and degradation mechanisms; Defect based fault analysis, Simulation and ATPG of defect based faults; Reliability analysis and modeling techniques, FMEA and Physics of failure; Test for noise and uncertainty; Design for Reliability and Design for Variability and their impact on test; Test and reliability of redundant systems; Test and reliability issues in the presence of leakage; Challenges of ultra low-power design on test and reliability; Modeling and test techniques for physical sources of errors such as process, voltage an

Conference

T2 Test Generation, Simulation and Diagnosis

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Test pattern generation; high-level TPG; delay TPG; fault simulation; test generation for validation, debug and diagnosis; low-power TPG; TPG for memories and FPGAs.

Conference

T3 Test for Mixed-Signal, Analog, RF, MEMS

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Test techniques for mixed-signal, RF and multi-GHz electronics; test techniques for embedded MEMS/bioMEMS/MOEMS sensors and actuators; assembly engineering for SiP/SoC/SoP/PoP; Failure modelling and analysis techniques; defect characterization and fault modelling; fault simulation and test generation algorithms; DfT/DfM/DfY/DfR (DfX) techniques; BIST; test coverage metrics and statistical modelling; effective defect screening techniques; diagnosis and self-repair.

Conference

T4 Test Access, Design-for-Test, Test Compression, System Test

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Design for test, debug and manufacturability; built-in self-test and built-in diagnosis; synthesis for testability; test resource partitioning, embedded test; test data compression; scan-based test and diagnosis; BIST for memories and regular structures, low power DfT techniques, DfT for secure systems, Dft economics.

Conference

T5 On-Line Testing and Fault Tolerance

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Transient fault evaluation; soft error susceptibility; on-line testing and fault tolerance for signal integrity; concurrent monitors and diagnosis; coding techniques; in-field testing and diagnosis; on-line testing; high availability systems; secure and safe circuits and systems design; dependability evaluation, dependable system design; redundant systems design; hardware/software recovery; self-repair; fault tolerance; on-line testing and fault tolerance for industrial applications.

Conference

E1 Real-time, Networked and Dependable Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Real-time programming languages and software; formal models for real-time systems; software performance analysis; worst case execution time analysis; scheduling and software estimation; real-time system optimization; verification; tools and design methods; adaptive real-time systems; dependable systems; software for safety critical systems; software for sensor networks and networked applications; network control and QoS for embedded applications.

Conference

E2 Compilers and Code Generation for Embedded Systems; Software-Centric System Design Exploration

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Software synthesis; compilers; code generation (e.g. C from Matlab); dynamic compilation for embedded systems; software tool chain; generation for design space exploration (compilers, simulators, synthesis tools); retargetable compilers for MPSOC and reconfigurable platforms; compilers for multi-core systems.

Conference

E3 Model-Based Design and Verification for Embedded Systems

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Model-based methods for embedded system design; model-based software architectures; model-based design for control applications; model-based software testing, system verification, software/system integration and deployment; tools for model-based embedded system design.

Conference

E4 Embedded Software Architectures and Principles; Software for MPSoC, Multi/Many-Core and GPU-Based ...

neumann — Thu, 28 Aug 2008 00:00:00 +0200

Software for MPSoC, multi-core and GPU-based systems; virtualization for embedded systems, including safety and security aspects; resources constrained middleware and Run-Time Environment (RTE) architectures, e.g., AUTOSAR; software support for reconfigurable components and accelerators.

Conference