Problems synthesizeing infered true dual ported RAM

The code needs to describe exactly what the M10K block can do, or it will be synthesized as registers. You may have something in our code that makes it behave slightly differently and Quartus can't map it to a M10K.

From my experience you can mix any of those solutions with the example 13-28 and it should work. But it should be done exactly as described, with a function called as the signal's initial value. If for example you use the function in a "if reset='1' then" section, then Quartus will have to synthesize it with registers because the Mxk blocks only support initialization when entering application mode and not during an arbitrary reset.