About this Journal Submit a Manuscript Table of Contents
Journal of Electrical and Computer Engineering
Volume 2012 (2012), Article ID 691864, 24 pages
http://dx.doi.org/10.1155/2012/691864
Research Article

Task-Level Data Model for Hardware Synthesis Based on Concurrent Collections

Computer Science Department, University of California, Los Angeles, Los Angeles, CA 90095, USA

Received 17 October 2011; Revised 30 December 2011; Accepted 11 January 2012

Academic Editor: Yuan Xie

Copyright © 2012 Jason Cong et al. 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.

Linked References

  1. A. Gerstlauer, C. Haubelt, A. D. Pimentel, T. P. Stefanov, D. D. Gajski, and J. Teich, “Electronic system-level synthesis methodologies,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 10, pp. 1517–1530, 2009. View at Publisher · View at Google Scholar · View at Scopus
  2. A. Sangiovanni-Vincentelli, “Quo vadis, SLD? Reasoning about the trends and challenges of system level design,” Proceedings of the IEEE, vol. 95, no. 3, Article ID 4167779, pp. 467–506, 2007. View at Publisher · View at Google Scholar · View at Scopus
  3. “An independent evaluation of the AutoESL autopilot high-level synthesis tool,” Tech. Rep., Berkeley Design Technology, 2010.
  4. C. A. R. Hoare, “Communicating sequential processes. Commun,” Communications of the ACM, vol. 21, no. 8, pp. 666–677, 1978. View at Publisher · View at Google Scholar · View at Scopus
  5. E. A. Lee and T. M. Parks, “Dataflow process networks,” Proceedings of the IEEE, vol. 83, no. 5, pp. 773–801, 1995. View at Publisher · View at Google Scholar · View at Scopus
  6. D. Harel, “Statecharts: a visual formalism for complex systems,” Science of Computer Programming, vol. 8, no. 3, pp. 231–274, 1987. View at Scopus
  7. E. A. Lee and D. G. Messerschmitt, “Synchronous data flow,” Proceedings of the IEEE, vol. 75, no. 19, pp. 1235–1245, 1987.
  8. Intel—Concurrent Collections for C/C++: User’s Guide, 2010, http://software.intel.com/file/30235.
  9. J. Cong, G. Reinman, A. Bui, and V. Sarkar, “Customizable domain-specific computing,” IEEE Design and Test of Computers, vol. 28, no. 2, pp. 6–14, 2011. View at Publisher · View at Google Scholar
  10. E. A. Lee and A. Sangiovanni-Vincentelli, “A framework for comparing models of computation,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217–1229, 1998. View at Scopus
  11. SystemC, http://www.accellera.org/.
  12. BlueSpec, http://bluespec.com/.
  13. FDR2 User Manual, 2010, http://fsel.com/documentation/fdr2/html/fdr2manual_5.html.
  14. ARC CSP model checking environment, 2010, http://cs.adelaide.edu.au/~esser/arc.html.
  15. R. Allen, A formal approach to software architecture, Ph.D. thesis, Carnegie Mellon, School of Computer Science, 1997, Issued as CMU Technical Report CMU-CS-97-144.
  16. T. Murata, “Petri nets: properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541–580, 1989. View at Publisher · View at Google Scholar · View at Scopus
  17. Petri net, 2010, http://en.wikipedia.org/wiki/Petri_net.
  18. A. Davare, D. Densmore, T. Meyerowitz, et al., “A next-generation design framework for platform-based design,” DVCon, 2007.
  19. J. Buck, S. Ha, E. A. Lee, and D. G. Messerschmitt, Readings in Hardware/Software Co-Design. Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems, Kluwer Academic, Norwell, Mass, USA, 2002.
  20. G. Kahn, “The semantics of a simple language for parallel programming,” in Proceedings of the IFIP Congress, J. L. Rosenfeld, Ed., North-Holland, Stockholm, Sweden, August 1974.
  21. H. Nikolov, M. Thompson, T. Stefanov et al., “Daedalus: toward composable multimedia MP-SoC design,” in Proceedings of the 45th Design Automation Conference (DAC '08), pp. 574–579, ACM, New York, NY, USA, June 2008. View at Publisher · View at Google Scholar · View at Scopus
  22. W. Thies, M. Karczmarek, and S. Amarasinghe, “Streamit: a language for streaming applications,” in Proceedings of the 11th International Conference on Compiler Construction (CC '02), R. Horspool, Ed., vol. 2304 of Lecture Notes in Computer Science, pp. 49–84, Springer, Berlin, Germany, 2002.
  23. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli, “A formal specification model for hardware/software codesign,” in Proceedings of the International Workshop on Hardware/Software Co-Design, 1993.
  24. T. Kangas, P. Kukkala, H. Orsila, et al., “UML-based multiprocessor SOC design framework,” ACM Transactions on Embedded Computing Systems, vol. 5, no. 2, pp. 281–320, 2006.
  25. F. Balarin, M. Chiodo, and P. Giusto, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach, Kluwer Academic, Norwell, Mass, USA, 1997.
  26. C. Park, J. Jung, and S. Ha, “Extended synchronous dataflow for efficient DSP system prototyping,” Design Automation for Embedded Systems, vol. 6, no. 3, pp. 295–322, 2002. View at Scopus
  27. S. Ha, S. Kim, C. Lee, Y. Yi, S. Kwon, and Y. P. Joo, “PeaCE: a hardware-software codesign environment for multimedia embedded systems,” ACM Transactions on Design Automation of Electronic Systems, vol. 12, no. 3, 2007. View at Publisher · View at Google Scholar · View at Scopus
  28. K. Strehl, L. Thiele, M. Gries, D. Ziegenbein, R. Ernst, and J. Teich, “FunState—an internal design representation for codesign,” IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 9, no. 4, pp. 524–544, 2001. View at Publisher · View at Google Scholar · View at Scopus
  29. K. Grüttner and W. Nebel, “Modelling program-state machines in SystemCTM,” in Proceedings of the Forum on Specification, Verification and Design Languages (FDL '08), pp. 7–12, Stuttgart, Germany, September 2008. View at Publisher · View at Google Scholar
  30. R. Dömer, A. Gerstlauer, J. Peng et al., “System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design,” EURASIP Journal on Embedded Systems, vol. 2008, no. 1, Article ID 647953, 13 pages, 2008. View at Publisher · View at Google Scholar · View at Scopus
  31. M. Fujita and H. Nakamura, “The standard SpecC language,” in Proceedings of the 14th International Symposium on System Synthesis (ISSS '01), pp. 81–86, ACM, New York, NY, USA, 2001. View at Scopus
  32. R. D. Blumofe, C. F. Joerg, B. C. Kuszmaul, C. E. Leiserson, K. H. Randall, and Y. Zhou, “Cilk: an efficient multithreaded runtime system,” in Proceedings of the 5th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 207–216, August 1995. View at Scopus
  33. Habanero-C project, 2011, https://wiki.rice.edu/confluence/display/HABANERO/Habanero-C.
  34. V. Cave, J. Zhao, J. Shirako, and V. Sarkar, “Habanero-Java: the new adventures of old x10,” in Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ '11), 2011.
  35. Intel CnC distribution, 2011, http://software.intel.com/en-us/articles/intel-concurrent-collections-for-cc/.
  36. Center for Customizable Domain-Specific Computing (CDSC), http://cdsc.ucla.edu/.