| We study the synthesis problem in the embedded control application domain. We study the automatic transformation from high-level synchronous specifications to hardware-software implementations on general purpose and application specific architecture platforms. We show that such automation is feasible by using Extended Finite State Machines (EFSM) as the core model of computation, and applying multi-valued logic optimization and code generation techniques. The contributions include: multi-valued flexibility-based logic optimization techniques; theory and practice for efficient code generation from multi-valued logic functions, networks and sequential machines; and methods for automatic mapping for a reconfigurable instruction-set architecture platform. |
