Digitális hálózatok - logikai áramkör tervező

Sziasztok,

Idén szerepel az óráim között a "Digitális hálózatok" tantárgy.
A professzor weboldalán fennt van egy program, amivel gyakorolni lehet a digitális hálózatok tervezését logikai kapukkal. Gyakorlatilag ez egy komplett sandbox, rengeteg féle kapuval lehet komplett szimulációt futtatni.
Az első félévben szinkron és aszinkron valamint számlálós hálózatok készítése a cél.

A problémám az, hogy nem szeretnék ez miatt wine-t telepíteni. Ismertek ilyen programot linuxra (Arch)?