Author:
Sinha Roopak,Roop Parthasarathi,Basu Samik
Reference81 articles.
1. K. Avnit, V. D’Silva, A. Sowmya, S. Ramesh, S. Parameswaran, A formal approach to the protocol converter problem. Design, Automation and Test in Europe, 2008. Date ’08, pp. 294–299, Mar 2008
2. K. Avnit, V. D’Silva, A. Sowmya, S. Ramesh, S. Parameswaran, Provably correct on-chip communication: a formal approach to automatic protocol converter synthesis. ACM Trans. Design Autom. Electr. Syst. 14(2) (2009)
3. S. Baruah, H. Li, L. Stougie, Towards the design of certifiable mixed-criticality systems. In 16th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 (IEEE, Stockholm, 2010), pp. 13–22
4. A. Basu, R.S. Mitra, P. Marwedel, Interface synthesis for embedded applications in a co-design environment. In 11th IEEE International Conference on VLSI Design, pp. 85–90, 1998
5. L. Benini, Application specific NoC design. In DATE ’06: Proceedings of the Conference on Design, Automation and Test in Europe (European Design and Automation Association, Belgium, 2006), pp. 491–495
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Related Work and Outlook;Correct-by-Construction Approaches for SoC Design;2013-07-19