| using sysbus | |
| mach create "synchronization_test" | |
| include $ORIGIN/MockPeripheralWithExecuteInLock.cs | |
| machine LoadPlatformDescription $ORIGIN/synchronization.repl | |
| sysbus LogPeripheralAccess writer_systemc true | |
| sysbus LogPeripheralAccess test true | |
| sysbus.writer_systemc SystemCExecutablePath $ORIGIN/../bin/synchronization | |