Finite State Machine Composition for Embedded Hardware/Software Trade-offs
Alberto La Rosa, Claudio Passerone, Luciano Lavagno, Francesco Gregoretti, Alberto Luigi Sangiovanni-Vincentelli · 1999
Modern design automation tools let the designers specify a system using formal models, and then synthesize an implementation, either hardware or software, which meets timing and cost requirements. However, the algorithm and the level of parallelism used in the specification may affect the efficiency of the optimizations, thus biasing the solution towards a particular implementation. In this paper we propose a technique which, starting from a canonical description, can generate an equivalent model with an arbitrary level of parallelism. We demonstrate the use of our methodology using an example taken from a multimedia application.