1. A computer-implemented method of checking a first circuit model, the method comprising: receiving, via the computer, a request from a user for a check of the first circuit model; responsive to receiving the user request, simulating, via the computer, the first circuit model to generate simulation results; hashing the first circuit model simulation results, via the computer to generate a hash index; comparing, via the computer, the hash index to a database of prior hash indices generated from hashed simulation results of prior circuit models to determine whether the first circuit model hash index matches a prior hash index of any of the prior circuit models to identify a matching prior circuit model; upon identifying a positive match, determining, via the computer, whether the first circuit model is equivalent to the matching prior circuit model; and upon a positive determination of an equivalence, providing, via the computer, prior test results of the matching prior circuit model to the user.