automated techniques for generating post-silicon tests and assertions to enable