Open AccessSoftware-based online self-testing using bounded model checking for 3D network-on-chips
Author(s) -
Pengfei Ji,
Ying Zhang,
Jianhui Jiang
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1871/1/012103
Subject(s) - computer science , network packet , bounded function , software , dimension (graph theory) , deep packet inspection , function (biology) , embedded system , model checking , network on a chip , state (computer science) , finite state machine , network processor , algorithm , computer engineering , computer network , operating system , mathematics , mathematical analysis , evolutionary biology , pure mathematics , biology