A Guide to use the VCS + Verdi for digital system function simulation