Cover theories and practices of verification/test for checking hardware correctness and trustworthiness of large language models. A connection between the two is drawn. Students learn the principles of verification and test and how to apply them in both contexts.