Title :
Proceedings. Design, Automation and Test in Europe
Abstract :
The following topics are dealt with: partitioning and optimisation for reconfigurable computing; SoC design-for-test; low power design; scheduling and synthesis for reconfigurable computing; analogue simulation, placement and statistical analysis; analogue and gigahertz test; ubiquitous computing; power aware design in DSM technology; analogue, mixed-signal and RF circuits; reliability at the very deep sub-micron region; IP-based design; HW/SW solutions for low power multimedia systems; embedded systems; logic synthesis; defect detection and characterisation; real-time scheduling; SoC power optimisation; system level languages, verification and simulation; reliable memory design; execution-time analysis; CMOS design; high-level verification; system modelling with UML; parallel and multithreaded processor architectures; very deep submicron simulation; SoC prototyping and simulation; memory optimisation and clocking for SoC; test power reduction; multiprocessor embedded systems; layout issues; pattern generation for fault detection and diagnosis; embedded software technology; advanced analogue performance modelling; SAT based verification; test pattern compression and delay test schemes; compiler/architecture codesign; network-on-chip design flows; biochips and quantum computing; CMOS-based biosensor arrays; network-on-chip architectures; concurrent error detection and correction; formal verification of processor architecture and DSP programs; interconnect optimisation; media and signal processing; secure and embedded security systems; MPSoC platforms; low-power wireless LANs; wireless communication and networking; automotive applications; IP-reuse; design verification; sensors.
Keywords :
automatic test pattern generation; biosensors; design for testability; electronic design automation; embedded systems; fault diagnosis; formal verification; hardware-software codesign; high level synthesis; integrated circuit design; integrated circuit modelling; integrated circuit testing; logic design; logic partitioning; low-power electronics; mixed analogue-digital integrated circuits; multimedia systems; parallel architectures; quantum computing; reconfigurable architectures; scheduling; system-on-chip; ubiquitous computing; CMOS design; CMOS-based biosensor arrays; DSM technology; HW/SW solutions; IP-based design; IP-reuse; MPSoC platforms; RF circuits; SAT based verification; SoC design-for-test; SoC power optimisation; UML; analogue circuits; analogue simulation; automotive applications; biochips; compiler/architecture codesign; concurrent error detection/correction; defect detection; delay test schemes; design verification; embedded security systems; embedded software technology; embedded systems; execution-time analysis; fault diagnosis; formal verification; high-level verification; interconnect optimisation; layout issues; logic synthesis; low power design; low power multimedia systems; low-power wireless LAN; mixed-signal circuits; multiprocessor embedded systems; multithreaded processor architectures; network-on-chip design flows; parallel architectures; partitioning; pattern generation; power aware design; quantum computing; real-time scheduling; reconfigurable computing; reliable memory design; scheduling; signal processing; statistical analysis; system level languages; system modelling; test pattern compression; ubiquitous computing; very deep submicron simulation; wireless communication;
Conference_Titel :
Design, Automation and Test in Europe, 2005. Proceedings
Conference_Location :
Munich, Germany
Print_ISBN :
0-7695-2288-2
DOI :
10.1109/DATE.2005.314