11. The method of claim 1 wherein the scenario is defined based on two or more signals, wherein the scenario defines that the two or more signals are synchronized.
1. A computer-implemented method performed by a computerized device, comprising: receiving a design; receiving a description of a scenario, wherein the scenario relates to execution of the design, wherein the scenario is used for verifying the design; selecting whether a verification engine to be used is a simulation engine or a formal analysis engine; translating the scenario to an input for the verification engine as selected; activating the verification engine as selected, and providing the input to the verification engine, whereby the verification engine outputting a result; and displaying the result.