VEasy: a Tool Suite for Teaching Functional Verification: Teaching the principles of Functional Verification in an intuitive way

VEasy: a Tool Suite for Teaching Functional Verification, Fachbücher von Fernanda Lima Kastensmidt, Samuel Nascimento Pagliarini