A Formal Introduction to a Simple HDL