Author:
Das Surajit,Karfa Chandan,Biswas Santosh
Reference13 articles.
1. Chatterjee, S., Kishinevsky, M., Ogras, U.: xMAS: quick formal modelling of communication fabrics to enable verification. IEEE Des. Test Comput. 29(3), 8088 (2012)
2. Borrione, D., Helmy, A., Pierre, L., Schmaltz, J.: A generic model for formally verifying NoC communication architectures: a case study. In: First International Symposium on Networks-on-Chip (NOCS 2007), pp. 127–136 (2007)
3. Borrione, D., Helmy, A., Pierre, L., Schmaltz, J.: Executable formal specification and validation of NoC communication infrastructures. In: Proceedings of the 21st Annual Symposium on Integrated Circuits and System Design, pp. 176–181 (2008)
4. Verbeek, F., Schmaltz, J.: Easy formal specification and validation of unbounded networks-on-chips architectures. ACM Trans. Des. Autom. Electron. Syst. 17, 1:1–1:28 (2012)
5. Lan, Y.-C., Lo, S.-H., Lin, Y.-C., Hu, Y.-H., Chen, S.-J.: BiNoC: a bidirectional NoC architecture with dynamic self-reconfigurable channel. In: NOCS 2009, pp. 266–275 (2009)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Accelerating NoC Verification Using a Complete Model and Active Window;IEEE Access;2022
2. Formal Modeling and Verification of Starvation Freedom in NoCs;Lecture Notes in Electrical Engineering;2021-12-15
3. Formal Modeling of Network-on-Chip Using CFSM and its Application in Detecting Deadlock;IEEE Transactions on Very Large Scale Integration (VLSI) Systems;2020-04
4. Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10