An efficient solution to the storage correspondence problem for large sequential circuits