Software-based online self-testing of network-on-chip using bounded model checking.

Ying Zhang, Krishnendu Chakrabarty, Huawei Li, Jianhui Jiang

Browse the full ITC paper archive.