Synthesis of Lattice Mico32 is now OK at 100MHz for the ML401 board. By default, the reset is configured as asynchronous, which caused problems with the DSP48 blocks of Virtex-4 and failing timing paths in the multiplier. Sébastien