High level synthesis for testability: A survey and perspective

We review behavioral and RTL test synthesis and synthesis for testability approaches that generate easily testable implementa-tions. We also include an overview of high-level synthesis tech-niques to assist high-level ATPG.