A Translator from a "subset" of Verilog HDL to the input language of Open Source Formal Verification Tool NuSMV