Можно ли синтезировать $ readmem в Verilog?

Я пытаюсь реализовать микроконтроллер на ПЛИС, и мне нужно предоставить ему ПЗУ для его программы. Если я использую $ readmemb, будет ли он правильно синтезирован в ПЗУ? Если не, Каков стандартный способ сделать это?