/src/systemc/tests/systemc/kernel/reset_signal_is/