ID:276037 Created node "<name>" as a RAM by generating altsyncram megafunction to implement register logic with M512 or M4K memory block or M-RAM. Expect to get an error or a mismatch for this block in the formal verification tool.

CAUSE: In a Verilog Design File (.v) or VHDL Design File (.vhd), you specified a set of registers that act as RAM. When Analysis & Synthesis created the specified node as a RAM using the registers, it converted the registers into an altsyncram megafunction to implement the register logic with a M512 memory block, M4K memory block, or M-RAM.. This memory block is a new instance that is handled as a black box by the formal verification tool. However, no such instance exists in the original design. This results in the formal verification tool reporting mismatches or errors.

ACTION: If you intended this conversion and implementation, and want the formal verification tool to report mismatches or errors, no action is required. If you want Analysis & Synthesis to use an altsyncram megafunction, but you want the formal verification tool to verify the rest of the design, replace the registers and address logic in the Verilog Design File or VHDL Design File with an explicit instantiation of an altsyncram megafunction. If the register and address logic in an entity are treated as a black box and the entity is parameterized, create a wrapper entity that does not contain parameters. IF the RAM in the original design should function in the same way as the RAM implemented in the target device, and you want to verify the design, including the RAM, prevent Analysis & Synthesis from converting the registers into an altsyncram megafunction by turning off the Auto RAM Replacement logic option.