1. A method comprising: receiving an Register Transfer Level (RTL) description of an electronic device provided for a design test; receiving a test bench environment to drive stimulus into the electronic device; identifying at least one register to be verified during the design test; receiving a property list including a plurality of properties, wherein each property includes a cause and an effect; creating a new property instance upon receiving an enqueue cause; transitioning a property instance from a waiting state to a pending state based on a dequeue cause; advancing property instances from the pending state to an active state and then to an expired state based on a defined time window; creating a current solution space including a plurality of solutions, wherein each of the plurality of solutions includes a list of unused active effects; inserting property instances into each of the plurality of solutions when the property instance enters to active state; pruning solutions from the current solution space which have not used a property instance entering the expired state; and computing a new solution space based on the current solution space and a target transition.