fifan, ModelSim спасёт гиганта мысли. Так же как и сам Кактус, поставляется бесплатная версия (с ограниченными возможностями).