EP2720149A2 - Apparatus and method for generating assertion based on user program code, and apparatus and method for verifying processor using assertion