US6959272B2 - Method and System for Generating an ATPG Model of a Memory from Behavioral Descriptions