Skip to main content
Top

2014 | OriginalPaper | Chapter

2. Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets

Authors : Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Douglas Kim, Hugo Andrade, Jeff Correll, Jacob Kornerup, Ian Wong, Gerald Wang, Guang Yang, Amal Ekbal, Mike Trimborn, Ankita Prasad, Trung N. Tran

Published in: Embedded Systems Development

Publisher: Springer New York

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Application advances in the signal processing and communications domains are marked by an increasing demand for better performance and faster time to market. This has motivated model-based approaches to design and deploy such applications productively across diverse target platforms. Dataflow models are effective in capturing these applications that are real-time, multi-rate, and streaming in nature. These models facilitate static analysis of key execution properties like buffer sizes and throughput. There are established tools to generate implementations of these models in software for processor targets. However, prototyping and deployment on hardware targets, in particular reconfigurable hardware such as FPGAs, are critical to the development of new applications. FPGAs are increasingly used in computing platforms for high performance streaming applications. They also facilitate integration with real physical I/O by providing tight timing control and allow the flexibility to adapt to new interface standards. Existing tools for hardware implementation from dataflow models are limited in their ability to combine efficient synthesis and I/O integration and deliver realistic system deployments. To close this gap, we present the LabVIEW DSP Design Module from National Instruments, a framework to specify, analyze, and implement streaming applications on hardware targets. DSP Design Module encourages a model-based design approach starting from streaming dataflow models. The back-end supports static analysis of execution properties and generates implementations for FPGAs. It also includes an extensive library of hardware actors and eases third-party IP integration. Overall, DSP Design Module is an unified design-to-deployment framework that translates high-level algorithmic specifications to efficient hardware, enables design space exploration, and generates realistic system deployments. In this chapter, we illustrate the modeling, analysis, and implementation capabilities of DSP Design Module. We then present a case study to show its viability as a model-based design framework for next generation signal processing and communications systems.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Footnotes
1
SDF was called Synchronous Dataflow in the original works that introduced the model [1, 2]. But the model is fundamentally asynchronous, since actors can fire independently and asynchronously. For this reason, and in order not to confuse SDF with truly synchronous models such as synchronous FSMs, we prefer the term Static Dataflow.
 
Literature
1.
go back to reference Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. of the IEEE 75(9), 1235–1245 (1987)CrossRef Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. of the IEEE 75(9), 1235–1245 (1987)CrossRef
2.
go back to reference Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Kluwer Academic Press, Norwell (1996)MATHCrossRef Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Kluwer Academic Press, Norwell (1996)MATHCrossRef
3.
go back to reference Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity: the Ptolemy approach. Proc. of the IEEE 91(1), 127–144 (2003)CrossRef Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity: the Ptolemy approach. Proc. of the IEEE 91(1), 127–144 (2003)CrossRef
4.
go back to reference Lauwereins, R., Engels, M., Adé, M., Peperstraete, J.A.: Grape-II: a system-level prototyping environment for DSP applications. Computer 28(2), 35–43 (1995)CrossRef Lauwereins, R., Engels, M., Adé, M., Peperstraete, J.A.: Grape-II: a system-level prototyping environment for DSP applications. Computer 28(2), 35–43 (1995)CrossRef
5.
go back to reference Andrade, H.A., Kovner, S.: Software synthesis from dataflow models for G and LabVIEW. In: Proceedings of the IEEE Asilomar conference on signals, systems, and computers, pp. 1705–1709 (1998) Andrade, H.A., Kovner, S.: Software synthesis from dataflow models for G and LabVIEW. In: Proceedings of the IEEE Asilomar conference on signals, systems, and computers, pp. 1705–1709 (1998)
7.
go back to reference Kee, H., Shen, C.C., Bhattacharyya, S., Wong, I., Rao, Y., Kornerup, J.: Mapping parameterized cyclo-static dataflow graphs onto configurable hardware. J. Signal Process. Syst. 1–17 (2011) Kee, H., Shen, C.C., Bhattacharyya, S., Wong, I., Rao, Y., Kornerup, J.: Mapping parameterized cyclo-static dataflow graphs onto configurable hardware. J. Signal Process. Syst. 1–17 (2011)
8.
go back to reference Berg, H., Brunelli, C., Lücking, U.: Analyzing models of computation for software defined radio applications. In: International symposium on system-on-chip (SOC), pp. 1–4. Tampere, Finland (2008) Berg, H., Brunelli, C., Lücking, U.: Analyzing models of computation for software defined radio applications. In: International symposium on system-on-chip (SOC), pp. 1–4. Tampere, Finland (2008)
10.
go back to reference Edwards, M., Green, P.: The implementation of synchronous dataflow graphs using reconfigurable hardware. In: Proceedings of FPL ’00, pp. 739–748 (2000) Edwards, M., Green, P.: The implementation of synchronous dataflow graphs using reconfigurable hardware. In: Proceedings of FPL ’00, pp. 739–748 (2000)
11.
go back to reference Horstmannshoff, J., Meyr, H.: Optimized system synthesis of complex RT level building blocks from multirate dataflow graphs. In: Proceedings of ISSS ’99, pp. 38–43 (1999) Horstmannshoff, J., Meyr, H.: Optimized system synthesis of complex RT level building blocks from multirate dataflow graphs. In: Proceedings of ISSS ’99, pp. 38–43 (1999)
12.
go back to reference Jung, H., Lee, K., Ha, S.: Optimized RTL code generation from coarse-grain dataflow specification for fast HW/SW cosynthesis. J. Signal Process. Syst. 52(1), 13–34 (2008)CrossRef Jung, H., Lee, K., Ha, S.: Optimized RTL code generation from coarse-grain dataflow specification for fast HW/SW cosynthesis. J. Signal Process. Syst. 52(1), 13–34 (2008)CrossRef
15.
go back to reference Hsu, C.J., Pino, J.L., Hu, F.J.: A mixed-mode vector-based dataflow approach for modeling and simulating lte physical layer. In: Proceedings of the 47th design automation conference, DAC ’10, pp. 18–23. ACM, New York, USA (2010) Hsu, C.J., Pino, J.L., Hu, F.J.: A mixed-mode vector-based dataflow approach for modeling and simulating lte physical layer. In: Proceedings of the 47th design automation conference, DAC ’10, pp. 18–23. ACM, New York, USA (2010)
17.
go back to reference Janneck, J., Miller, I., Parlour, D., Roquier, G., Wipliez, M., Raulet, M.: Synthesizing hardware from dataflow programs: an MPEG-4 simple profile decoder case study. In: IEEE workshop on signal processing systems, pp. 287–292 (2008) Janneck, J., Miller, I., Parlour, D., Roquier, G., Wipliez, M., Raulet, M.: Synthesizing hardware from dataflow programs: an MPEG-4 simple profile decoder case study. In: IEEE workshop on signal processing systems, pp. 287–292 (2008)
18.
go back to reference Gu, R., Janneck, J.W., Raulet, M., Bhattacharyya, S.S.: Exploiting statically schedulable regions in dataflow programs. In: Proceedings of the 2009 IEEE international conference on acoustics, speech and signal processing, ICASSP ’09, pp. 565–568. IEEE Computer Society, Washington, USA (2009) Gu, R., Janneck, J.W., Raulet, M., Bhattacharyya, S.S.: Exploiting statically schedulable regions in dataflow programs. In: Proceedings of the 2009 IEEE international conference on acoustics, speech and signal processing, ICASSP ’09, pp. 565–568. IEEE Computer Society, Washington, USA (2009)
19.
go back to reference Xilinx Inc.: Xilinx core generator, ISE design suite 12.1. Xilinx Inc. (2010) Xilinx Inc.: Xilinx core generator, ISE design suite 12.1. Xilinx Inc. (2010)
20.
go back to reference Stuijk, S., Geilen, M., Basten, T.: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. In: Proceedings of DAC ’06, pp. 899–904 (2006) Stuijk, S., Geilen, M., Basten, T.: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs. In: Proceedings of DAC ’06, pp. 899–904 (2006)
21.
go back to reference Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Cyclo-static dataflow. IEEE Trans. Signal Process. 44(2), 397–408 (1996)CrossRef Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.A.: Cyclo-static dataflow. IEEE Trans. Signal Process. 44(2), 397–408 (1996)CrossRef
22.
go back to reference Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cyclo-static data flow. In: IEEE international conference acoustics, speech, and signal processing. vol. 5, pp. 3255–3258 (1995) Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J.: Cyclo-static data flow. In: IEEE international conference acoustics, speech, and signal processing. vol. 5, pp. 3255–3258 (1995)
23.
go back to reference Moreira, O.M., Bekooij, M.J.G.: Self-timed scheduling analysis for real-time applications. EURASIP J.n Adv. Signal Process. 2007(83710), 1–15 (2007) Moreira, O.M., Bekooij, M.J.G.: Self-timed scheduling analysis for real-time applications. EURASIP J.n Adv. Signal Process. 2007(83710), 1–15 (2007)
24.
go back to reference Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. IEEE Trans. Signal Process. 49(10), 2408–2421 (2001)MathSciNetCrossRef Bhattacharya, B., Bhattacharyya, S.: Parameterized dataflow modeling for DSP systems. IEEE Trans. Signal Process. 49(10), 2408–2421 (2001)MathSciNetCrossRef
25.
go back to reference Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Ph.D. thesis, Stanford University, CA (1984) Chapiro, D.M.: Globally-asynchronous locally-synchronous systems. Ph.D. thesis, Stanford University, CA (1984)
26.
go back to reference Andrade, H., Correll, J., Ekbal, A., Ghosal, A., Kim, D., Kornerup, J., Limaye, R., Prasad, A., Ravindran, K., Tran, T.N., Trimborn, M., Wang, G., Wong, I., Yang, G.: From streaming models to FPGA implementations. In: Proceedings of the conference for engineering of reconfigurable systems and algorithms (ERSA-IS). Las Vegas, USA (2012) Andrade, H., Correll, J., Ekbal, A., Ghosal, A., Kim, D., Kornerup, J., Limaye, R., Prasad, A., Ravindran, K., Tran, T.N., Trimborn, M., Wang, G., Wong, I., Yang, G.: From streaming models to FPGA implementations. In: Proceedings of the conference for engineering of reconfigurable systems and algorithms (ERSA-IS). Las Vegas, USA (2012)
27.
go back to reference Proakis, J.: Digital communications, 4th edn. McGraw-Hill Science/Engineering/Math (2000) Proakis, J.: Digital communications, 4th edn. McGraw-Hill Science/Engineering/Math (2000)
28.
go back to reference Sandell, M., van de Beek, J.J., Brjesson, P.O.: Timing and frequency synchronization in OFDM systems using the cyclic prefix. In: Proceedings of international symposium synchronization, pp. 16–19 (1995) Sandell, M., van de Beek, J.J., Brjesson, P.O.: Timing and frequency synchronization in OFDM systems using the cyclic prefix. In: Proceedings of international symposium synchronization, pp. 16–19 (1995)
29.
go back to reference Ghosal, A., Limaye, R., Ravindran, K., Tripakis, S., Prasad, A., Wang, G., Tran, T.N., Andrade, H.: Static dataflow with access patterns: semantics and analysis. In: Proceedings of the 49th annual design automation conference, DAC ’12, pp. 656–663. ACM, New York, USA (2012) Ghosal, A., Limaye, R., Ravindran, K., Tripakis, S., Prasad, A., Wang, G., Tran, T.N., Andrade, H.: Static dataflow with access patterns: semantics and analysis. In: Proceedings of the 49th annual design automation conference, DAC ’12, pp. 656–663. ACM, New York, USA (2012)
30.
go back to reference Tripakis, S., Andrade, H., Ghosal, A., Limaye, R., Ravindran, K., Wang, G., Yang, G., Kornerup, J., Wong, I.: Correct and non-defensive glue design using abstract models. In: Proceedings of the seventh IEEE/ACM/IFIP international conference on hardware/software codesign and system synthesis, CODES+ISSS ’11, pp. 59–68. ACM, New York, USA (2011) Tripakis, S., Andrade, H., Ghosal, A., Limaye, R., Ravindran, K., Wang, G., Yang, G., Kornerup, J., Wong, I.: Correct and non-defensive glue design using abstract models. In: Proceedings of the seventh IEEE/ACM/IFIP international conference on hardware/software codesign and system synthesis, CODES+ISSS ’11, pp. 59–68. ACM, New York, USA (2011)
31.
go back to reference Ravindran, K., Ghosal, A., Limaye, R., Wang, G., Yang, G., Andrade, H.: Analysis techniques for static dataflow models with access patterns. In: Proceedings of the 2012 conference on design and architectures for signal and image processing, DASIP ’12 (2012) Ravindran, K., Ghosal, A., Limaye, R., Wang, G., Yang, G., Andrade, H.: Analysis techniques for static dataflow models with access patterns. In: Proceedings of the 2012 conference on design and architectures for signal and image processing, DASIP ’12 (2012)
32.
go back to reference Girault, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput. Aided Des. 18(6), 742–760 (1999)CrossRef Girault, A., Lee, B., Lee, E.A.: Hierarchical finite state machines with multiple concurrency models. IEEE Trans. Comput. Aided Des. 18(6), 742–760 (1999)CrossRef
33.
go back to reference Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: Proceedings of MEMOCODE’06, pp. 185–194 (2006) Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., Stuijk, S.: A scenario-aware data flow model for combined long-run average and worst-case performance analysis. In: Proceedings of MEMOCODE’06, pp. 185–194 (2006)
Metadata
Title
Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets
Authors
Kaushik Ravindran
Arkadeb Ghosal
Rhishikesh Limaye
Douglas Kim
Hugo Andrade
Jeff Correll
Jacob Kornerup
Ian Wong
Gerald Wang
Guang Yang
Amal Ekbal
Mike Trimborn
Ankita Prasad
Trung N. Tran
Copyright Year
2014
Publisher
Springer New York
DOI
https://doi.org/10.1007/978-1-4614-3879-3_2