Forum Discussion
zjj
Occasional Contributor
Occasional Contributormemory infer
in my project that base agilex7 fpga, I need to use bit mask memory. the bit mask memory rtl behavior as follow. as quartus only support byte mask memory, so I think quartus tool should use logic(...
RichardT_altera
Super Contributor
Super ContributorIf you are concerned about functional equivalence, the recommended ways to verify are:
- Post‑fit simulation
- Formal equivalence checking
https://docs.altera.com/r/docs/683881/18.0/quartus-prime-pro-edition-user-guide-third-party-logic-equivalence-checking-tools/onespin-360-ec-fpga-software-support
If a pure logic (ALM‑only) implementation is required, you can force it using a RAM style attribute (for example, ramstyle = "logic"). Otherwise, the Quartus is allowed to implement using an M20K, as what FvM mentioned.
Regards,
Richard Tan
