Visible to Intel only — GUID: mwh1409959914239
Ixiasoft
Visible to Intel only — GUID: mwh1409959914239
Ixiasoft
3.5.3. RAM and ROM
Use the Auto RAM Replacement and Auto ROM Replacement logic options to control RAM and ROM inference, respectively. To disable the inference, click Assignments > Settings > Compiler Settings > Advanced Settings (Synthesis).
The software might not infer very small RAM or ROM blocks because you can implement very small memory blocks with the registers in the logic. However, you can use the Allow Any RAM Size for Recognition and Allow Any ROM Size for Recognition logic options to instruct synthesis to infer a memory block even when its size is too small.
Although formal verification tools do not support inferred RAM blocks, due to the importance of inferring RAM in many designs, the software turns on the Auto RAM Replacement logic option when you select a formal verification tool in the EDA Tool Settings page. The software automatically performs black box instance for any module or entity that contains an inferred RAM block. The software issues a warning and lists the black box created in the compilation report. This black box allows formal verification tools to proceed; however, the formal verification tool cannot verify the entire module or entire entity that contains the RAM. Altera recommends that you explicitly instantiate RAM blocks in separate modules or in separate entities so that the formal verification tool can verify as much logic as possible.