“…[1], [2], [4]- [7], [9], [11], [13]- [14], [20]. However, only a few papers that address the testability estimation at RTL [8], [12], [15], [17]- [19]. Logical Virtual Prototyping method [8], which utilizes a fast synthesis engine with a generic library is proposed recently.…”