Function Architecture Co-Design is a new paradigm for the design and implementation of embedded systems. <em>Function/Architecture Optimization</em> <em>and Co-Design of Embedded
Systems</em> presents the authors' work in developing a function/architecture optimization and co-design formal methodology and framework for control-dominated embedded systems. The approach incorporates both data
flow and control optimizations performed on a suitable novel intermediate design task representation. The aim is not only to enhance productivity of the designer and system developer, but also to improve quality of the
final synthesis outcome. <br/> <em>Function/Architecture Optimization and Co-Design of Embedded Systems</em> discusses the proposed function/architecture co-design methodology, focusing on design
representation, optimization, validation, and synthesis. Throughout the text, the difference between behavior specification and implementation is emphasized. The current need in co-design to move from synthesis-based
technology to compiler-based technology is pointed out. The authors describe and show how performing data flow and control optimizations at the high abstraction level can lead to significant size and performance
improvements in both the synthesized hardware and software. The work builds on bodies of research in the silicon and software compilation domains. The aforementioned techniques are specialized to the embedded systems
domain. It is recognized that guided optimization can be applied on the internal design representation, no matter what the abstraction level, and need not be restricted to the final stages of software assembly code
generation, or hardware synthesis. <br/> <em>Function/Architecture Optimization and Co-Design of Embedded Systems</em> will be of primary interest to researchers, developers, and professionals in the field
of embedded systems design.