Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts-Reference-Cited by-同舟云学术

Interactive Model-Based Compilation Continued – Incremental Hardware Synthesis for SCCharts

Published:2016 Issue: Volume: Page:150-170
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
language:
Short-container-title:

Author:

Rybicki Francesca,Smyth Steven,Motika Christian,Schulz-Rosengarten Alexander,von Hanxleden Reinhard

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47169-3_12

Reference22 articles.

1. André, C.: Semantics of SyncCharts. Technical Report ISRN I3S/RR-2003-24-FR, I3S Laboratory, Sophia-Antipolis, France April 2003

2. Berry, G.: Esterel on hardware. Philos. Trans. R. Soc. Lond. 339, 87–104 (1992)

3. Berry, G.: The foundations of Esterel. In: Plotkin, G., Stirling, C., Tofte, M. (eds.) Proof, Language, and Interaction: Essays in Honour of Robin Milner, pp. 425–454. MIT Press, Cambridge (2000)

4. Drusinsky, D., Harel, D.: Using Statecharts for hardware description and synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 8(7), 798–807 (1989)

5. Edwards, S.A.: The challenges of hardware synthesis from c-like languages. In: Proceedings of the Conference on Design, Automation and Testin Europe, vol. 1, DATE 2005, pp. 66–67, Washington, DC, USA. IEEE Computer Society (2005)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics;Transactions on Petri Nets and Other Models of Concurrency XIV;2019

2. Type Theory as a Framework for Modelling and Programming;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018

3. Detecting safety-related components in statecharts through traceability and model slicing;Software: Practice and Experience;2017-09-05