{M}odeling and simulation of nanomagnetic logic with cadence virtuoso using {V}erilog-{A}