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

Ying Zhang Krishnendu Chakrabarty Huawei Li Jianhui Jiang

Published in: ITC (2017)

Keyphrases

multi processor
network on chip
bounded model checking
formal verification
test cases
software testing
model checking
software systems
real time
computer systems
linear temporal logic
low cost
temporal logic
multi agent systems
data access
test suite