{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:10:20Z","timestamp":1760044220887},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T00:00:00Z","timestamp":1422576000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Sign Process Syst"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s11265-015-0971-y","type":"journal-article","created":{"date-parts":[[2015,1,29]],"date-time":"2015-01-29T01:01:00Z","timestamp":1422493260000},"page":"23-43","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware"],"prefix":"10.1007","volume":"85","author":[{"given":"Stavros","family":"Tripakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rhishikesh","family":"Limaye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaushik","family":"Ravindran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guoqiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Andrade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arkadeb","family":"Ghosal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,30]]},"reference":[{"key":"971_CR1","unstructured":"Tripakis, S., Limaye, R., Ravindran, K., Wang, G. (2014). On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. In International conference on embedded computer systems: architectures, modeling and simulation \u2013 SAMOS XIV."},{"key":"971_CR2","doi-asserted-by":"crossref","unstructured":"Tripakis, S., Andrade, H., Ghosal, A., Limaye, R., Ravindran, K., Wang, G., Yang, G., Kormerup, J., Wong, I. (2011). Correct and non-defensive glue design using abstract models. In 7th IEEE\/ACM\/IFIP international conference on hardware\/software codesign and system synthesis, ser. CODES+ISSS \u201911 (pp. 59\u201368). ACM.","DOI":"10.1145\/2039370.2039382"},{"issue":"9","key":"971_CR3","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","volume":"75","author":"E Lee","year":"1987","unstructured":"Lee, E., & Messerschmitt, D. (1987). Synchronous data flow. Proceedings of the IEEE, 75 (9), 1235\u20131245.","journal-title":"Proceedings of the IEEE"},{"key":"971_CR4","doi-asserted-by":"crossref","unstructured":"Bilsen, G., Engels, M., Lauwereins, R., Peperstraete, J. (1995). Cyclo-static data flow. In IEEE international conference acoustics, speech, and signal processing.","DOI":"10.1109\/ICASSP.1995.479579"},{"key":"971_CR5","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Theelen, B., Basten, T. (2011). Scenario-aware dataflow: modeling, analysis and implementation of dynamic applications. In International conference on embedded computer systems (SAMOS), 2011 (pp. 404\u2013411).","DOI":"10.1109\/SAMOS.2011.6045491"},{"issue":"4","key":"971_CR6","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77 (4), 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"971_CR7","doi-asserted-by":"crossref","unstructured":"Ghamarian, A.H., Geilen, M., Stuijk, S., Basten, T., Theelen, B.D., Mousavi, M.R., Moonen, A.J.M., Bekooij, M. (2006). Throughput analysis of synchronous data flow graphs. In 6th international conference on application of concurrency to system design, 2006. ACSD 2006. (pp. 25\u201336).","DOI":"10.1109\/ACSD.2006.33"},{"key":"971_CR8","doi-asserted-by":"crossref","unstructured":"Janneck, J. (2011). A machine model for dataflow actors and its applications. In Conference record of the 45th asilomar conference on signals, systems and computers (ASILOMAR), 2011.","DOI":"10.1109\/ACSSC.2011.6190107"},{"key":"971_CR9","unstructured":"Kohavi, Z. (1978). Switching and finite automata theory, 2nd edn. Cambridge University Press."},{"key":"971_CR10","unstructured":"Xilinx Inc. (2010). Xilinx core generator, ISE Design Suite 12.1 ed., Xilinx Inc."},{"key":"971_CR11","doi-asserted-by":"crossref","unstructured":"Pnueli, A., & Rosner, R. (1989). On the synthesis of a reactive module. In Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on principles of programming languages, ser. POPL \u201989 (pp. 179\u2013190).","DOI":"10.1145\/75277.75293"},{"key":"971_CR12","doi-asserted-by":"crossref","unstructured":"Ramadge, P., & Wonham, W. (1989). The control of discrete event systems. Proceedings of the IEEE.","DOI":"10.1109\/5.21072"},{"key":"971_CR13","doi-asserted-by":"crossref","unstructured":"Pnueli, A., & Rosner, R. (1990). Distributed reactive systems are hard to synthesize. In Proceedings of the 31th IEEE symposium on foundations of computer science (pp. 746\u2013757).","DOI":"10.1109\/FSCS.1990.89597"},{"key":"971_CR14","doi-asserted-by":"crossref","unstructured":"Lamouchi, H., & Thistle, J. (2000). Effective control synthesis for DES under partial observations. In 39th IEEE conference on decision and control (pp. 22\u201328).","DOI":"10.1109\/CDC.2000.912726"},{"issue":"1","key":"971_CR15","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.ipl.2004.01.004","volume":"90","author":"S Tripakis","year":"2004","unstructured":"Tripakis, S. (2004). Undecidable problems of decentralized observation and control on regular languages. Information Processing Letters, 90 (1), 21\u201328.","journal-title":"Information Processing Letters"},{"key":"971_CR16","doi-asserted-by":"crossref","unstructured":"Lustig, Y., & Vardi, M. (2009). Synthesis from component libraries. In 12th international conference on foundations of software science and computational structures, ser. FOSSACS \u201909 (pp. 395\u2013409). Springer.","DOI":"10.1007\/978-3-642-00596-1_28"},{"key":"971_CR17","doi-asserted-by":"crossref","unstructured":"Bhattacharyya, S., Murthy, P., Lee, E. (1996). Software synthesis from dataflow graphs. Kluwer.","DOI":"10.1007\/978-1-4613-1389-2"},{"key":"971_CR18","doi-asserted-by":"crossref","unstructured":"Stuijk, S., Geilen, M., Basten, T. Throughput-buffering trade-off exploration for cyclo-static and synchronous dataflow graphs. IEEE Transactions on Computers, 57 (10), 2008.","DOI":"10.1109\/TC.2008.58"},{"key":"971_CR19","doi-asserted-by":"crossref","unstructured":"Wiggers, M.H., Bekooij, M.J., Smit, G.J. (2008). Buffer capacity computation for throughput constrained streaming applications with data-dependent inter-task communication. In RTAS\u201908 (pp. 183\u2013194). IEEE Computer Society.","DOI":"10.1109\/RTAS.2008.10"},{"key":"971_CR20","unstructured":"Wiggers, M.H., Bekooij, M.J.G., Smit, G.J.M. (2007). Efficient computation of buffer capacities for cyclo-static dataflow graphs. In Proceedings of the 44th annual design automation conference, ser. DAC \u201907 (pp. 658\u2013663)."},{"key":"971_CR21","unstructured":"Kahn, G. (1974). The semantics of a simple language for parallel programming. In Information processing 74, proceedings of IFIP congress 74. North-Holland."},{"key":"971_CR22","doi-asserted-by":"crossref","unstructured":"Faustini, A. (1982). An operational semantics for pure dataflow. In M. Nielsen & E. Schmidt (Eds.), Automata, languages and programming, ser. LNCS (vol. 140, pp. 212\u2013224). Springer.","DOI":"10.1007\/BFb0012771"},{"issue":"4","key":"971_CR23","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF02280834","volume":"7","author":"B Jonsson","year":"1994","unstructured":"Jonsson, B. (1994). A fully abstract trace model for dataflow and asynchronous networks. Distributed Computing, 7 (4), 197\u2013212.","journal-title":"Distributed Computing"},{"key":"971_CR24","doi-asserted-by":"crossref","unstructured":"Geilen, M., & Basten, T. (2010). Kahn process networks and a reactive extension. In Handbook of signal processing systems.","DOI":"10.1007\/978-1-4419-6345-1_34"},{"key":"971_CR25","doi-asserted-by":"crossref","unstructured":"Geilen, M., Tripakis, S., Wiggers, M. (2011). The earlier the better: A theory of timed actor interfaces. In 14th international conference hybrid systems: computation and control (HSCC\u201911). ACM.","DOI":"10.1145\/1967701.1967707"},{"key":"971_CR26","doi-asserted-by":"crossref","unstructured":"Sriram, S., & Bhattacharyya, S.S. (2009). Embedded multiprocessors: scheduling and synchronization, 2nd ed. CRC Press.","DOI":"10.1201\/9781420048025"},{"key":"971_CR27","unstructured":"Milner, R. (1982). A calculus of communicating systems. Springer."},{"key":"971_CR28","unstructured":"Hoare, C. (1985). Communicating sequential processes. Prentice Hall."},{"issue":"83710","key":"971_CR29","first-page":"1","volume":"2007","author":"OM Moreira","year":"2007","unstructured":"Moreira, O.M., & Bekooij, M.J.G. (2007). Self-timed scheduling analysis for real-time applications. EURASIP Journal on Advances in Signal Processing, 2007 (83710), 1\u201315.","journal-title":"EURASIP Journal on Advances in Signal Processing"},{"key":"971_CR30","doi-asserted-by":"crossref","unstructured":"Wiggers, M.H., Bekooij, M.J.G., Smit, G.J.M. (2007). Modelling run-time arbitration by latency-rate servers in dataflow graphs. In Proceedingsof the 10th international workshop on software & compilers for embedded systems, ser. SCOPES \u201907 (pp. 11\u201322).","DOI":"10.1145\/1269843.1269846"},{"issue":"4","key":"971_CR31","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1145\/344588.344618","volume":"31","author":"Y-K Kwok","year":"1999","unstructured":"Kwok, Y.-K., & Ahmad, I. (1999). Static scheduling algorithms for allocating directed task graphs to multiprocessors. ACM Computing Surveys, 31 (4), 406\u2013471.","journal-title":"ACM Computing Surveys"},{"key":"971_CR32","doi-asserted-by":"crossref","unstructured":"Ghosal, A., Limaye, R., Ravindran, K., Tripakis, S., Prasad, A., Wang, G., Tran, T., Andrade, H. (2012). Static dataflow with access patterns: semantics and analysis. In Design automation conference (DAC).","DOI":"10.1145\/2228360.2228479"},{"issue":"2","key":"971_CR33","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1109\/2.347998","volume":"28","author":"R Lauwereins","year":"1995","unstructured":"Lauwereins, R., Engels, M., Ad\u00e9, M., Peperstraete, J.A. (1995). Grape-II: a system-level prototyping environment for DSP applications. Computer, 28 (2), 35\u201343.","journal-title":"Computer"},{"key":"971_CR34","unstructured":"Williamson, M., & Lee, E. (1996). Synthesis of parallel hardware implementations from synchronous dataflow graph specifications. In ASILOMAR."},{"key":"971_CR35","doi-asserted-by":"crossref","unstructured":"Horstmannshoff, J., & Meyr, H. (1999). Optimized system synthesis of complex RT level building blocks from multirate dataflow graphs. In 12th international symposium on system synthesis. IEEE.","DOI":"10.1109\/ISSS.1999.814258"},{"issue":"1","key":"971_CR36","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/s11265-007-0070-9","volume":"52","author":"H Jung","year":"2008","unstructured":"Jung, H., Yang, H., Ha, S. (2008). Optimized RTL code generation from coarse-grain dataflow specification for fast HW\/SW cosynthesis. Journal of Signal Processing System, 52 (1), 13\u201334.","journal-title":"Journal of Signal Processing System"},{"key":"971_CR37","doi-asserted-by":"crossref","unstructured":"Janneck, J., Miller, I., Parlour, D., Roquier, G., Wipliez, M., Raulet, M. (2008). Synthesizing hardware from dataflow programs: An MPEG-4 simple profile decoder case study. In Signal processing systems.","DOI":"10.1109\/SIPS.2008.4671777"},{"key":"971_CR38","unstructured":"Thavot, R., Mosqueron, R., Alisafaee, M., Lucarz, C., Mattavelli, M., Dubois, J., Noel, V. (2008). Dataflow design of a co-processor architecture for image processing. In DASIP."},{"key":"971_CR39","unstructured":"Dubois, J., Thavot, R., Mosqueron, R., Miteran, J., Lucarz, C. (2009). Motion estimation accelerator with user search strategy in an RVC context. In IEEE ICIP\u201909."},{"key":"971_CR40","doi-asserted-by":"crossref","unstructured":"Olsson, T., Carlsson, A., Wilhelmsson, L., Eker, J., von Platen, C., Diaz, I. (2010). A reconfigurable OFDM inner receiver implemented in the CAL dataflow language. In Circuits and systems (ISCAS).","DOI":"10.1109\/ISCAS.2010.5538042"},{"issue":"5","key":"971_CR41","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1049\/iet-cdt.2008.0093","volume":"3","author":"A Hansson","year":"2009","unstructured":"Hansson, A., Wiggers, M., Moonen, A., Goossens, K., Bekooij, M. (2009). Enabling application-level performance guarantees in network-based systems on chip by applying dataflow analysis. Computers Digital Techniques, IET, 3 (5), 398\u2013412.","journal-title":"Computers Digital Techniques, IET"},{"key":"971_CR42","doi-asserted-by":"crossref","unstructured":"Ghenassia, F. (Ed.) (2005). Transaction-level modeling with systemC. Springer.","DOI":"10.1007\/b137175"},{"key":"971_CR43","unstructured":"Pixley, C. (2009). Practical considerations concerning HL-to -RT equivalence checking. In Hardware and software: verification and testing, ser. LNCS (vol. 5394). Springer."},{"key":"971_CR44","doi-asserted-by":"crossref","unstructured":"Clarke, E., Kroening, D., Yorav, K. (2003). Behavioral consistency of C and verilog programs using bounded model checking. In DAC.","DOI":"10.1145\/775832.775928"},{"key":"971_CR45","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J. (1990). The linear time-branching time spectrum. In CONCUR\u201990 (pp. 278\u2013297). Springer.","DOI":"10.1007\/BFb0039066"},{"issue":"4\u20135","key":"971_CR46","first-page":"229","volume":"37","author":"R van Glabbeek","year":"2000","unstructured":"van Glabbeek, R., & Goltz, U. (2000). Refinement of actions and equivalence notions for concurrent systems. Acta Informatica, 37 (4\u20135), 229\u2013327.","journal-title":"Acta Informatica"},{"key":"971_CR47","doi-asserted-by":"crossref","unstructured":"Ehlers, R., Lafortune, S., Tripakis, S., Vardi, M. (2014). Bridging the gap between supervisory control and reactive synthesis: case of full observation and centralized control. In 12th IFAC international workshop on discrete event systems (WODES).","DOI":"10.3182\/20140514-3-FR-4046.00018"},{"key":"971_CR48","doi-asserted-by":"crossref","unstructured":"Bhaduri, P., & Ramesh, S. (2006). Synthesis of synchronous interfaces. In Proceedings of the 6th international conference on application of concurrency to system design.","DOI":"10.1109\/ACSD.2006.32"},{"key":"971_CR49","doi-asserted-by":"crossref","unstructured":"Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L. (2002). Convertibility verification and converter synthesis: two faces of the same coin. In Proceedings of the international conference on computer-aided design.","DOI":"10.1145\/774572.774592"},{"key":"971_CR50","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Qadeer, S., Rajamani, S. (1998). You assume, we guarantee: Methodology and case studies. In CAV\u201998, ser. LNCS (vol. 1427). Springer-Verlag.","DOI":"10.1007\/BFb0028765"},{"key":"971_CR51","doi-asserted-by":"crossref","unstructured":"McMillan, K. (1997). A compositional rule for hardware design refinement. In Computer aided verification (CAV\u201997), ser. LNCS (vol. 1254). Springer-Verlag.","DOI":"10.1007\/3-540-63166-6_6"},{"issue":"10","key":"971_CR52","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B. (1992). Applying design by contract. Computer, 25 (10), 40\u201351.","journal-title":"Computer"},{"key":"971_CR53","doi-asserted-by":"crossref","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W. (2005). The spec# programming system: an overview. In International conference on construction and analysis of safe, secure, and interoperable smart devices, ser. CASSIS\u201904 (pp. 49\u201369). Springer.","DOI":"10.1007\/978-3-540-30569-9_3"}],"container-title":["Journal of Signal Processing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-0971-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11265-015-0971-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11265-015-0971-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T12:22:27Z","timestamp":1559391747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11265-015-0971-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,30]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["971"],"URL":"https:\/\/doi.org\/10.1007\/s11265-015-0971-y","relation":{},"ISSN":["1939-8018","1939-8115"],"issn-type":[{"value":"1939-8018","type":"print"},{"value":"1939-8115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,30]]}}}