EECS 140: Introduction to Digital Logic
Implementation of a Counter (pdf)
Programming a PLD FSM for Outputting Text (doc)