/testsuite/bsc.verilog/positivereset/SyncReset/

• ../
• Makefile
• RstTest.bsv
• RstTest_E1.bsv
• RstTest_V1.bsv
• RstTest_V2.bsv
• SyncReset.exp
• sysRstTest.out.expected
• sysRstTest.v.out.expected
• sysRstTest_V1.out.expected
• sysRstTest_V1.v.out.expected
• sysRstTest_V2.out.expected
• sysRstTest_V2.v.out.expected