Speed up of Behavioral A.T.P.G. Using a Heuristic Criterion

This paper presents an approach aiming at a significant acceleration of a Behavioral Test Pattern Generation process. Recently, new BTPG methods have been developed, based upon the application of a backtracking search procedure. The approach presented herein reduces the number of backtracks by firstly comparing search strategies and then by defining an improvement criteria.