Function/Architecture Optimization and Co-Design of Embedded Systems

The book "Function/Architecture Optimization and Co-Design of Embedded Systems" offers a comprehensive introduction to the innovative methodology of co-designing functions and architectures for embedded systems. The authors, Alberto L. Sangiovanni-Vincentelli, Abdallah Tabbara, and Bassam Tabbara, present a formal methodology framework specifically developed for control-dominated embedded systems. The focus is on optimizing data flows and controls based on a novel, suitable representation of design tasks. The goal is to enhance the productivity of designers and system developers while improving the quality of the final synthesis results. The book thoroughly discusses the co-design methodology and highlights the differences between behavioral specification and implementation. It also emphasizes the need to transition from synthesis-based technologies to compiler-based technologies to achieve significant improvements in the size and performance of both the synthesized hardware and software.