ASIC synthesis is supported for Ibex. The whole design is completely synchronous and uses positive-edge triggered flip-flops, except for the register file, which can be implemented either with latches or with flip-flops. See Register File for more details.
FPGA Synthesis is supported for Ibex. The FPGA-optimized register file implementation should be used. The flip-flop based register file is also compatible with FPGA synthesis, however it may result in significantly higher resource utilization. Since latches are not well supported on FPGAs, the latch-based register file should not be used.