Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms
Book chapter (January 2022)
The most recent citing publications are shown below. View all 22 publications that cite this research output on Dimensions.
Formal Specification and Verification of Communication in Network-On-Chip: An Overview
Article in International Journal of Recent Contributions from Engineering Science & IT (iJES) (December 2018)
Formal Proof of the Dependable Bypassing Routing Algorithm Suitable for Adaptive Networks on Chip QnoC Architecture
Article in Systems (February 2017)