This video shows how to use Helmut Newman's digital logic simulator found on GitHub at this website: https://github.com/hneemann/Digital
No download links available.