FXM Design Verification Model