Программируемая логика и ЦОС

Нужно нарисовать простенькую архитектурку (чуть сложнее обычного таймера-сумматора) на VHDL с последующей заливкой в (наверное) CPLD. Какую (желательно оффлайн) софтину посоветуйте для изучения дизайна и возможной симуляции?