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 modeling and specification languages; Model-based design; Executable specifications; Specification analysis; Analog-mixed signal modeling and specification, Models of computation; Formal specification and semantics.

D2 MPSoC and System Design Methods

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

Multi-core SoC architecture, simulation and design of multi-core SoC; Electronic design methods, tool flows and their practical application; application-specific design methodologies, particularly for embedded systems hardware and software; targeted specification, modeling, and validation flows; Design reuse and platform design support tools.

Conference

D3 System Synthesis and Optimization

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

Synthesis of complete systems, application and domain-specific synthesis techniques, system-level scheduling, hardware-centric system-level synthesis; HW/SW interface and communication synthesis; Protocol synthesis and optimization; system optimisation for all cost functions (timing, electrical, non-functional); multiobjective optimisation; classical and nature-inspired optimization techniques; HW/SW partitioning.

Conference

D4 Simulation and Validation

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

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

Conference

D5 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

D6 Power Estimation and Optimization

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

Algorithms, techniques and tools for power modeling, 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

D7 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

D8 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

D9 Network on Chip

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

Architecture, modeling and design techniques for network on chip; On-chip communication network: system bus, switched network, packet routing network; Hardware/software communication abstractions; Component-based modeling, platform-based designs and methodologies.

Conference

D10 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, pipelining, caching, branch prediction, multithreading techniques, modeling and performance analysis, advanced computer architecture for application-specific applications, special purpose processors and accelerators, arithmetic architectures.

Conference