Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Genetic Algorithms in Search, Optimization and Machine Learning
Genetic Algorithms in Search, Optimization and Machine Learning
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
This paper proposes an environment to address TestabilityAnalysis and Test Pattern Generation on VHDLdescriptions at the RT-level. The proposed approach,based on a suitable fault model and an ATPG algorithm,is experimentally shown to provide a good estimateof the final gate-level fault coverage, and to givetest patterns with excellent fault coverage properties.The approach, being based on an abstract representation,is particularly suited for large circuits, where gate-levelATPGs are often inefficient.