Improving the efficiency and quality of simulation-based behavioral model verification using dynamic Bayesian criteria | IEEE Conference Publication | IEEE Xplore