I'm not a huge expert on hardware verification, I mean I know what the purpose of verification is (basically check if the system what it is expected to do) and I've used some tools for verification, usually I design an equivalent in Software using C/C++ language and than I compare somehow the VHDL/Verilog equivalent against this.
However it seems like most of this tools are not free, I was wondering if it is possible to use some very simple verification technique from scratch. Most of this tools as far as I know they use first order logic to after analyzing both Software and HDL code. Is there some very simple approach (other than exhaustive simulation) that could easily implement by him self to check the equivalency?
Maybe there's some very simple algorithm that can be easily used, and I'm not aware of.