Data path verification on cross domain with formal scoreboard