Table of Contents
VLSI Design
Volume 7, Issue 4, Pages 401-423
http://dx.doi.org/10.1155/1998/18340

Formal Codesign Methodology with Multistep Partitioning

Istituto di Informatica e Telecomunicazioni, Facoltá di lngegneria, Universitdá di Catania, Viale Andrea Doria, Catania 6 1 95125, Italy

Received 22 February 1996; Accepted 26 August 1996

Copyright © 1998 Hindawi Publishing Corporation. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Citations to this Article [5 citations]

The following is the list of published articles that have cited the current article.

  • V. Carchiolo, M. Malgeri, and G. Mangioni, “An approach to the synthesis of HW and SW in codesign,” Proceedings of 5th International Workshop on Hardware/Software Co Design. Codes/CASHE '97, pp. 173–177, . View at Publisher · View at Google Scholar
  • V. Carchiolo, M. Malgeri, and G. Mangioni, “An algorithm for direct synthesis of formal specifications,” Proceedings 8th IEEE International Workshop on Rapid System Prototyping Shortening the Path from Specification to Prototype, pp. 28–38, . View at Publisher · View at Google Scholar
  • Vincenza Carchiolo, Michele Malgeri, and Giuseppe Mangioni, “Hardware/software synthesis of formal specifications in codesign of embedded systems,” ACM Transactions on Design Automation of Electronic Systems, vol. 5, no. 3, pp. 399–432, 2000. View at Publisher · View at Google Scholar
  • G Mangioni, V Carchiolo, and M Malgeri, “A tool for performance evalution in a formal codesign framework,” Simulation-Transactions Of The Society For Modeling And Simulation Internat, vol. 79, no. 9, pp. 494–514, 2003. View at Publisher · View at Google Scholar
  • Vincenza Carchiolo, Michele Malgeri, and Giuseppe Mangioni, “TTL: a modular language for hardware/software systems design,” Journal of Computer and System Sciences, vol. 66, no. 2, pp. 293–315, 2003. View at Publisher · View at Google Scholar