Post-Synthesis Check Messages

The software may issue the following messages during post-synthesis checking.

EFX-9001 (ERROR)

Message	Output Port <name> is unconnected and not driven.
To fix	Check the top level port connections.

EFX-9002 (ERROR)

Message	Port <name> is directly connected to <number> other top-level ports.
To fix	Check the top level port connections.

EFX-9003 (ERROR)

Message	Output port <name> is connected to <name>/<name>, but only Input or Inout ports can be connected to an EFX_GBUFCE I port.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9004 (ERROR)

Message	Port <name> is connected to <name>/<name>, but must be connected to an EFX_IOBUF IO port or an EFX_GBUFCE I port.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9005 (ERROR)

Message	Port <name> is connected to <number> EFX_GBUFCE instances.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9006 (ERROR)

Message	Port <name> is connected to <number> EFX_IOBUF instances.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9007 (ERROR)

Message	Unexpected constant net <name>.
To fix	Consult Efinix Support on this ERROR message.

EFX-9008 (ERROR)

Message	Post-synthesis netlist is not legal because it has 0 total nets.
To fix	Consult Efinix Support on this ERROR message.

EFX-9009 (ERROR)

Message	Post-synthesis netlist has only vcc and gnd nets because all logic is eliminated. Legal, but will cause router to crash.
To fix	The design logic may have been optimized away by synthesis. Check your design for unintended connections or unused outputs.

EFX-9010 (ERROR)

Message	Post-synthesis netlist is not legal because it has <number> GND nets.
To fix	Consult Efinix Support on this ERROR message.

EFX-9011 (ERROR)

Message	Post-synthesis netlist is not legal because it has <number> VCC nets.
To fix	Consult Efinix Support on this ERROR message.

EFX-9012 (ERROR)

Message	Net <name> is not driven.
To fix	Consult Efinix Support on this ERROR message.

EFX-9013 (ERROR)

Message	Net <name> has multiple drivers.
To fix	Consult Efinix Support on this ERROR message.

EFX-9014 (ERROR)

Message	Net <name> is driving multiple clock buffers. <name>
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9015 (ERROR)

Message	Clock net <name> drives clock ports and clock buffer <name>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9017 (ERROR)

Message	<name> is missing port <name>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9018 (ERROR)

Message	<name> is missing portbus <name>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9019 (ERROR)

Message	<name> portbus of <name> instance <name> is size <number> but <number> expected.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9020 (ERROR)

Message	<name> port of <name> instance <name> is disconnected.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9021 (ERROR)

Message	<name> port of <name> instance <name> is constant.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9022 (ERROR)

Message	<name> port of <name> instance <name> is not driven by an EFX_GBUFCE/O port.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9024 (ERROR)

Message	<name> instance <name> has different read/write address bit <number> in WRITE_FIRST WRITE_MODE.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9025 (ERROR)

Message	<name> instance <name> <name> port is disabled, but <name> is not.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9026 (ERROR)

Message	<name> instance <name> <name> port is not disabled in a disabled mode.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9027 (ERROR)

Message	<name> instance <name> input <name> is active, but unused. Check parameter settings.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9028 (ERROR)

Message	<name> instance <name> has different read/write address enable in WRITE_FIRST WRITE_MODE.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9029 (ERROR)

Message	<name> instance <name> with WRITE_MODE = <name> has different read/write clock nets/polarity.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9030 (ERROR)

Message	<name> parameter of <name> instance <name> is not valid.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9031 (ERROR)

Message	<name> instance <name> <name> read width <number> is not compatible with write width <number>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9032 (ERROR)

Message	<name> instance <name> Port A read/write widths <number>/<number> are not compatible with Port B <number>/<number>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9033 (ERROR)

Message	<name> instance <name> both CLKA port and CLKB ports are disabled.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9034 (ERROR)

Message	<name> instance <name> WE[1] port is not disabled, but WRITE_WIDTH is <number>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9035 (ERROR)

Message	<name> instance <name> WRITE_MODE is WRITE_FIRST but READ_WIDTH is <number> and WRITE_WIDTH is <number>.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9036 (ERROR)

Message	<name> instance <name> WRITE_MODE is WRITE_FIRST but WCLKE is not permanently enabled.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9037 (ERROR)

Message	<name> instance <name> has parameter SR_SYNC_PRIORITY=<number>, but the device only supports a value of <number>.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9038 (ERROR)

Message	<name> instance <name> CLK port is not disabled but no registers are enabled.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9039 (ERROR)

Message	<name> instance <name> SHIFT_ENA port is not disabled, but SHIFTER parameter is 0.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9040 (ERROR)

Message	<name> instance <name> <name> must be enabled when <name>.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9041 (ERROR)

Message	<name> instance <name> <name> must be <name> when <name>.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9042 (ERROR)

Message	<name> instance <name> MODE '<name>' is illegal.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9043 (ERROR)

Message	<name> instance <name> W_REG may not be enabled when W_SEL is P.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9044 (ERROR)

Message	<name> instance <name> CASCIN[<number>] port must be connected to GND or CASCOUT.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9045 (ERROR)

Message	<name> instance <name> CASCOUT[<number>] port must be disconnected or connected to CASCIN.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9046 (ERROR)

Message	<name> instance <name> CASCIN port must be connected to GND or CASCOUT.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9047 (ERROR)

Message	<name> instance <name> CASCOUT port must be disconnected or connected to CASCIN.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9048 (ERROR)

Message	<name> instance <name> W_SEL cannot be P if CASCOUT_SEL is W.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9049 (ERROR)

Message	<name> instance <name> CI port must be connected to GND or CO.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9050 (ERROR)

Message	<name> instance <name> CO port must be disconnected or connected to CI.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9051 (ERROR)

Message	<name> instance <name> <name> port must not be connected in <name> mode.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9052 (ERROR)

Message	<name> instance <name> unexpected MODE '<name>'.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9053 (ERROR)

Message	<name> instance <name> CO port must be connected to only 1 CIN.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9054 (ERROR)

Message	<name> instance <name> is driven by net <name> more than once.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9055 (ERROR)

Message	<name> instance <name> LUTMASK %04X is too large to fit into a 4-input LUT.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-9056 (ERROR)

Message	<name> instance <name> LUTMASK %04X does not depend on connected input <number>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9057 (ERROR)

Message	<name> instance <name> LUTMASK %04X does depends on unconnected input <number>.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9058 (ERROR)

Message	<name> instance <name> Q7 port must be disconnected or connected to only an SRL8 D port.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9059 (ERROR)

Message	I port of <name> instance <name> is constant.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-9060 (ERROR)

Message	Clock net <name> is driving the <name> port of block <name>, it must only drive clock ports.
To fix	The GBUFCE output cannot drive a primitive's non-clock port. However, the input can drive it. Use a different signal or drive the non-clock port with the same value as the input to the GBUFCE (which uses regular routing).

EFX-9062 (ERROR)

Message	<name> instance <name> input OP is active, but unused (W_SEL is not set to X). Check parameter settings.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-8001 (WARNING)

Message	<name> port of <name> instance <name> is permanently enabled
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-8002 (WARNING)

Message	<name> port of <name> instance <name> is permanently disabled
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-8003 (WARNING)

Message	Input/inout port <name> is unconnected and will be removed.
To fix	Check if port is intentionally unconnected.

EFX-8004 (WARNING)

Message	<name> port of <name> instance <name> is connected in a disabled mode.
To fix	If the instance is an instantiated primitive, please check the port connections.

EFX-8005 (WARNING)

Message	<name> instance <name> is using deprecated WIDTH parameter <number>.
To fix	If the instance is an instantiated primitive, please check the correct parameter value and range.

EFX-8009 (WARNING)

Message	Net <name> is dangling.
To fix	The net may be dangling due to 'syn-keep' or 'syn-preserve' property.