Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip. - Ying Zhang 040; Pengfei Ji; Pan-Wei Zhu; Zebo Peng; Huawei Li 001; Jian-Hui Jiang (J. Comput. Sci. Technol., 2023)