Verilog2SMV: A tool for word-level verification