notes from digital systems lecture 12589