This paper focuses on the allocation for testability process as part of a High-Level Synthesis for Testability system. The allocation for testability is mainly defined as the search for best cost/quality trade-offs between the designer requirements and testability means that can be proposed by the system, considering the available functional units in a library and the possibility to generate additional testability structures.