Big Data in Verification: Making Your Engineers Smarter Author(s): David Lacey, Mike McGrath, Alan Pippin, Ed Powell, Ron Thurgood, and Alex Wilson Download