у него правда оттранслировано в VHDL и памяти переделаны в соответствии с его "technology mapping-ом" (кстати может здесь и проблема - я с актелом не работал, правильно ли он инферит памяти?)
у Гейслера есть поддержка актела и ТЕСТБЕНЧ
но это все-равно как экскаватором кошачьи какашки закапывать :) слишком много всего дополнительно к CAN-у
gaisler.com - там GPL-ную grlib взять