A new algorithm for convergence verification in circuit level simulations