怎么解决formality验证中BBPin unmatched

怎么解决formality验证中BBPin unmatched问题?我设置了：
set hdlin_ignore_full_case true
set hdlin_ignore_parallel_case false
set hdlin_warn_on_mismatch_message "FMR_ELAB-147"
set hdlin_error_on_mismatch_message true
set hdlin_unresolved_modules black_box
set hdlin_enable_hier_naming true
set verification_set_undriven_signals X
set verification_constant_prop_mode auto
谢谢！
---------------------------------------------------------
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR0\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR1\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR2\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR3\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR0\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR1\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR2\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR3\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR0\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR1\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR2\*unread\*/IN
RefBBPinr:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR3\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR0\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR1\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR2\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR3\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3060/F/X_LUT4/ADR0\*unread\*/IN
Impl BBPini:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3060/F/X_LUT4/ADR1\*unread\*/IN

解决了吗? 我也遇到了这个问题?