Hardware-software (HW-SW) codesign is an attempt to integrate hardware and software design techniques. A critical feature of all codesign methods is evaluation of the performance of the system. The best approach is to estimate performance based on the high-level specifications of the system before starting the subsequent partitioning and synthesis phases: these phases waste a large amount of resources, which causes delays in delivering the end product and higher costs. The authors propose an approach to reduce the number of redesign cycles, allowing continuous adjustments of the specification based on results of the performance evaluation before the next steps in the method are taken. To deal with these problems, the authors have developed an HW-SW codesign method that supports the designer from specification to the final implementation of the system. They present a performance analysis tool that operates at the specification level and tracks the input-output behavior of the system.
Get full access to this article
View all access options for this article.
References
1.
[1] Carchiolo, V., M. Malgeri, and G. Mangioni. 1998. Formal code-sign methodology with multistep partitioning . VLSI Design Journal7 (4): 401-423 .
2.
[2] Carchiolo, V., M. Malgeri, and G. Mangioni. 2000. Hardware/software synthesis of formal specifications in codesign of embedded systems . ACM Transactions on Design Automation of Electronic Systems (TODAES)5: 399-432 .
3.
[3] Carchiolo, V., M. Malgeri, and G. Mangioni. 2003. TTL: A modular language for hardware/software systems design . Journal of Computer and System Science66: 293-315 .
4.
[4] Milner, R. 1980. A calculus of communicating systems. New York: Springer Verlag .
5.
[5] Hoare, C. A. R. 1985. Communicating sequential processes. Englewood Cliffs, NJ: Prentice Hall .
6.
[6] Carchiolo, V., M. Malgeri, and G. Mangioni. 1996. TTL: A LOTOS extension for system description. In Proceedings of Basys ’96, Lisboa, Portugal .
7.
[7] Vissers, C. A., G. Scollo, and M. van Sinderen. 1988. Architecture and specification style in formal description of distributed systems. In Proceedings of Conference of Protocol Specification, Testing and Verification, 189-204. Amsterdam: North-Holland .
8.
[8] Bolognesi, T., J. V. D. Lagemaat, and C. A. Vissers. 1994. LOTOSsphere: Software development with LOTOS. New York: Kluwer .
9.
[9] Boyer, R. S., M. Kaufmann, and J. S. Moore. 1995. The Boyer-Moore theorem prover and its interactive enhancement . Computer & Mathematics with Applications29 (2): 27-62 .
10.
[10] Kurshan, R. P. 1994. Automata-theoretic verification of coordinating processes. Princeton, NJ: Princeton University Press .
11.
[11] Carchiolo, V., M. Malgeri, and G. Mangioni. 1997. An algorithm for direct synthesis of formal specifications . In 8th IEEE International Workshop on Rapid Systems Prototyping, June.
12.
[12] Kohavi, Z. 1978. Switching and finite automata theory. New York: McGraw-Hill .
13.
[13] Holtzmann, G. J. 1991. Design and validation of computer protocols. Englewood Cliffs, NJ: Prentice Hall .
14.
[14] Takach, A., and W. Wolf. 1995. An automaton model for scheduling constraints in synchronous machines . IEEE Transactions on Computers1 (44): 1-14 .
15.
[15] Chiodo, M., P. Giusto, A. Jureska, H. C. Hsieh, A. Sangiovanni-Vincentelli, and L. Lavagno. 1993. A formal specification model for hardware/software codesign . In Proceeding of the International Workshop on Hardware-Software Codesign, September, Boston.
16.
[16] Gupta, R. K., C. N. Coelho Jr., and Giovanni De Micheli. 1994. Program implementation schemes for hardware-software systems . IEEE Computer27 (1): 48-55 .
17.
[17] Saracco, R., J. R. W. Smith, and R. Reed. 1989. Telecommunications systems engineering using SDL. Amsterdam: North-Holland Elsevier .
18.
[18] Berry, G., P. Couronné, and G. Gonthier. 1991. The synchronous approach to reactive and real-time systems . IEEE Proceedings79: 1270-1282 .
19.
[19] Caspi, P., D. Pilaud, N. Halewachs, and J. Plaice. 1987. LUSTRE: A declarative language for the real-time programming . In Proceedings of the Conference on Principles of Programming Languages, Munich, Germany.
20.
[20] Le Guernic, P., A. Benveniste, P. Bournat, and T. Gauthier. 1985. A data flow oriented language for signal processing. Technical report, IRISA report 246, IRISA, Rennes, France.
21.
[21] Heish, H., L. Lavagno, C. Passerone, C. Sansoe, and A. San Giovanni-Vincentelli. 1997. Modeling microcontroller peripherals for high-level co-simulation and syntheis . In Proceedings of the Fifth International Workshop on Hardware/Software Codesign, March, Braunschweig, Germany.
22.
[22] Berry, G., and H. Touati. 1993. Optimized controller synthesis using Esterelle . In Proceedings of the International Workshop on Logic Synthesis, May.
23.
[23] Drusinski, D., and D. Har’el. 1989. Using statecharts for hardware description and synthesis . IEEE Transactions on Computer Aided Design8 (7): 798-807 .
24.
[24] Ernst, R., and J. Henkel. 1993. Hardware-software codesign of embedded controllers based on hardware extraction . In Proceedings of the International Workshop on Hardware-Software Codesign, September, Boston.
25.
[25] Ku, K., and G. De Micheli. 1990. HardwareC—A language for hardware design. Version 2.0. Tech. rep. no. CSL-TR-90-419, Stanford University, Stanford, CA.
26.
[26] Sternheim, E., R. Singh, R. Madhaven, and Y. Trivedi. 1993. Digital design and synthesis with Verilog HDL. San Jose, CA: Automata .
27.
[27] Wenban, A. S., J. W. O’Leary, and G. M. Brown. 1993. Codesign of communication protocols . IEEE Computers26: 46-52 .
28.
[28] International Standards Organization. 1988. Information processing systems, open system interconnection, LOTOS, a formal description technique based on the temporal ordering of observational behaviour. ISO-IS-8807, ISO, June.
29.
[29] Mahr, B., and H. Ehrig. 1985. Fundamentals of algebraic specifications. New York: Springer-Verlag .
30.
[30] Carchiolo, V., M. Malgeri, and G. Mangioni. 1997. An approach to the synthesis of hardware and software in codesign . In Proceedings of the Fifth International Workshop on Hardware/Software Codesign, March, Braunschweig, Germany.
