Reconfigurable scan networks (RSN) as standardized by IEEE Std 1687 allow flexible and efficient access to on-chip infrastructure for test and diagnosis, post-silicon validation, debug, bring-up, or maintenance in the field. However, unauthorized access or manipulation of the attached instruments, monitors, or controllers pose security and safety risks. Different RSN architectures have recently been proposed to implement secure access to the connected instruments, for instance by authentication and authorization.
['Michael A. Kochte', 'Rafał Baranowski', 'Matthias Sauer', 'Bernd Becker', 'Hans-Joachim Wunderlich']
Formal verification of secure reconfigurable scan network infrastructure