@Ryan R typically you want to use an equivalence checker. Commercial tools make these such as conformal. I am not sure what is available in the open-source community. However, I am sure you could use a ROBDD package to read in the HDL and then compare them accordingly. Theoretically, both ROBDDs should be equivalent. I am not a test expert, but that might help.