Beschreibung
Wenn Sie versuchen, die konforme Software Cadence Encounter zu verwenden zur formalen Überprüfung der altddio_out.v, altlvds_tx.v, altlvds_rx.v, lvds_tx.v, lvds_rx.v, flvds_tx.v, flvds_rx.v, altmult_add.v, altmult_accum.v, oder altpll.v, die formale Verifizierung schlägt mit dem Fehler fehl:
Error RTL 18.3: Function call does not refer to function
definition.