A pragmatic, systematic and flexible synthesis for testability methodology

Abstract

Starting from the analysis of the most widely adopted methodologies and the most successful industrial tools in the fields of HLS and DFT, this paper proposes a general framework for a pragmatic, systematic and flexible SFT methodology. The prerequisites for such a methodology, together with the state of the art are first assessed, then an overview of the approach is presented, followed by step-by-step details through a case-study of High-Level Synthesis For BIST. Examples of first obtained results are also provided.