Table of Contents Author Guidelines Submit a Manuscript
VLSI Design
Volume 7 (1998), 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 [3 citations]

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

  • 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