AMBIANT: automatic generation of behavioral modifications for testability
P. Vishakantaiah, T. Thomas, Jacob A. Abraham, Magdy S. Abadir · 2002
The paper discusses techniques that help a designer to consider testability features early in the design cycle. The behavioral specification of a design is used to perform high level testability analysis, based on which behavioral modifications for testability are suggested to the designer. Results show that the overhead for incorporating these modifications is minimal.>