DiSyIde
IDE for modeling and simulating discrete systems
...These models are then seamlessly transferred to DiSySi, the Discrete Systems Simulator, which facilitates real-time simulation and interactive control. Users can manipulate input signals and observe output signals using interfaces designed to emulate electronic device panels.