SystemVerilogAssertion\basic.v ......................\basic.v~ ......................\compile ......................\compile.log ......................\run ......................\run.log ......................\vcs.key SystemVerilogAssertion