High-level design of integrated microsystems - arithmetic perspective

Integration of physical sensing and actuating interfaces into embedded systems presents a new set of high-level design and synthesis challenges. An important aspect of such integration is the explicit use of numerical values at the interfaces, so we propose the system design method focusing on the efficient and correct arithmetic-centric synthesis. Integrated precision and range analysis and optimization are detailed, together with the iterative arithmetic processing.