Semi-formal refinement of heterogeneous embedded systems by foreign model integration
暂无分享,去创建一个
[1] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[2] Fernando Herrera,et al. A framework for heterogeneous specification and design of electronic embedded systems in SystemC , 2007, TODE.
[3] Luciano Lavagno,et al. Metropolis: An Integrated Electronic System Design Environment , 2003, Computer.
[4] Tiziana Margaria,et al. Dynamic and Formal Verification of Embedded Systems: A Comparative Survey , 2005, International Journal of Parallel Programming.
[5] Axel Jantsch,et al. Application and Verification of Local Nonsemantic-Preserving Transformations in System Design , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[6] Axel Jantsch,et al. Modeling embedded systems and SoCs - concurrency and time in models of computation , 2003, The Morgan Kaufmann series in systems on silicon.
[7] Ingo Sander,et al. Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.
[8] Axel Jantsch,et al. Hardware Design and Synthesis in ForSyDe , 2009 .
[9] Axel Jantsch,et al. System modeling and transformational design refinement in ForSyDe [formal system design] , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[10] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..