[Question] If designer wants to do formality checking to compare the functionality of design with/without MBIST, how to do it?
[Answer] To do formality checking with or without MBIST, designer just needs to tie TDI signal to 0. In this condition, MBIST function will not execute.