Verification Of Hardware Description Language Designs - DeGroat, Joanne (Association for Engineering Education - Engineering Library Division Papers)