vcs -sverilog -PP -assert enable_diag andor.v -l compile.log

