High-Level Test Synthesis: A Survey from Synthesis Process Flow Perspective. - Srivaths Ravi 002; Michael Joseph (ACM Trans. Design Autom. Electr. Syst., 2014)

TTHLS: an HLS tool for testable hardware generation. - S. Ravi 002; M. Joseph (Des. Autom. Embed. Syst., 2017)