Author:
Zerdani Amina,Boutekkouk Fateh
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Ramos, K.D.N., Silva, I.S.: A Formal Approach For Network-On chip Design (2006)
2. Sharifi, Z., Mohammadi, S., Sirjani, M.: Comparison of NoC Routing Algorithms Using Formal Methods
3. Ben Achballah, A., Ben Saoud, S.: The design of a Network-On-Chip architecture based on an avionic protocol. In: 2014 World Symposium on Computer Applications & Research (WSCAR), pp. 1–5. IEEE, Sousse, Tunisia (2014). https://doi.org/10.1109/WSCAR.2014.6916771
4. Boutekkouk, F.: Formal specification and verification of communication in network-on-chip: an overview. Int. J. Recent Contrib. Eng. Sci. IT (IJES) 6, 15 (2018). https://doi.org/10.3991/ijes.v6i4.9416
5. Kundu, S., Chattopadhyay, S.: Network-on-Chip: The Next Generation of System-on-Chip Integration. CRC Press, Taylor & Francis Group (2015). https://doi.org/10.1007/978-1-4665-6527-2