Automatic test pattern generation for Iddq faults based upon symbolic simulation | Publicación