Text this: Application of functional learning to ATPG and design verification for combinational circuits /