Author:
Avnit Karin,Sowmya Arcot,Peddersen Jorgen
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Avnit, K., D’Silva, V., Sowmya, A., Ramesh, S., Parameswaran, S.: A formal approach to the protocol converter problem. In: DATE 2008, March 10-14, pp. 294–299 (2008), doi:10.1109/DATE.2008.4484695
2. Avnit, K., D’Silva, V., Sowmya, A., Ramesh, S., Parameswaran, S.: Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. ACM Trans. Des. Autom. Electron. Syst. 14(2), 1–41 (2009)
3. Avnit, K., Sowmya, A.: A formal approach to design space exploration of protocol converters. In: Design, Automation & Test in Europe Conference & Exhibition. DATE 2009, April 2009, pp. 129–134 (2009)
4. Gansner, E., North, S.C.: Drawing graphs with dot. AT&T Bell Laboratories, Murray Hill (2002)
5. Xilinx, I.: Software Manuals and Help,
http://www.xilinx.com/support/documentation/index.htm
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design and Implementation of AMBA-APB Protocol for System-on-Chip (SoC) Designs;2024 Third International Conference on Distributed Computing and Electrical Circuits and Electronics (ICDCECE);2024-04-26