2. The method of claim 1 , wherein retrieving from storage a description of at least a portion of the design of the IC further comprises selecting the at least a portion of the design of the IC.
1. A method implemented in a programmable system for reasonable functional verification of a design of an integrated circuit (IC), the method comprising: retrieving from storage by the programmable system a description of the design of at least a portion of the IC; causing the programmable system to bring at least a portion of the IC in the received description to a state close to a suspected point of failure through analysis of a setup for failure (SFF) property; executing by the programmable system functional verification of at least a portion of the design of the IC from the suspected point of failure through analysis of a trigger for failure (TFF) property; and providing by the programmable system a report respective of a result of the executing of the set of instructions.