/testsuite/bsc.verilog/positivereset/simulation/