A design for testability technique for RTL circuits using control/data flow extraction | IEEE Conference Publication | IEEE Xplore