I think that the problem with {ISE_RUNTIME}.check_assert was due to the EIFGEN being corrupted. The problem disappeared after recompiling from scratch.

--
Eric Bezault