Appendix F — Introduction to Verilog