怎么解决formality验证中BBPin unmatched

yanpeace

怎么解决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

谢谢！

---------------------------------------------------------

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR0\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR1\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR2\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997845/F/X_LUT4/ADR3\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR0\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR1\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR2\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng2997945/F/X_LUT4/ADR3\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR0\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR1\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR2\*unread\*/IN

  Ref  BBPin      r:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3070/G/X_LUT4/ADR3\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR0\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR1\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR2\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3059/F/X_LUT4/ADR3\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3060/F/X_LUT4/ADR0\*unread\*/IN

  Impl BBPin      i:/WORK/aquarius_s38417_mapped/S38417_MAPPED/ng3060/F/X_LUT4/ADR1\*unread\*/IN

SKILLER

回复 1# yanpeace


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