As an introduction to PLDshell, a simple state machine which detects four consecutive 0's was implemented. My impression is, we should have learned PLDshell much earlier, and should have used it in parallel with OrCAD and XACT.