BSC verification with tweaks topmate