Data path verification on cross domain with formal scoreboard Author(s): Liu Jun Type: Paper Download