2705 - How to infer Block RAMs in iCE40 devices? 

2705 - How to infer Block RAMs in iCE40 devices? 

The iCE40 devices contain RAM4K modules , the number of RAM4K modules depends upon the device density.
The Block RAMs can be easily inferred by writing standard HDL codes for Single Port and Dual Port RAM.
You can check the placer.log file obtained after completion of Run P&R flow in the iCEcube2 design Tool to know how much Block RAMs were inferred.
The total number of used BRAM count is available under the Device Utilization Summary in placer.log file.