Mihaela Elena Radu, Shannon M. Sexton: Integrating Extensive Functional Verification Into Digital Design Education. IEEE Trans. Educ. 51(3): 385-393 (2008)