Software-based online self-testing of network-on-chip using bounded model checking | IEEE Conference Publication | IEEE Xplore