Descripción: Kluwer Academic Publishers «Design Automation for Embedded Systems offers a forum for: systems designers reporting examples of innovative embedded systems; scientists and engineers working on design automation and computer aided design (synthesis, simulation, test, verification). Relevant topics will span the hardware, the software, and the environmental (the host system) aspects of embedded systems.» ISSN 0929-5585