Dave Goodman is an author at IBM (United States) specializing in computer engineering, system software, and parallel computing.
Top concepts
EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceHardware SecurityParallel ComputingFormal VerificationComputer EngineeringParallel Programming
Publications per year
1995–2014
2
2
Test program generation for functional verification of PowerPC processors in IBM
Aharon Aharon, Dave Goodman, Moshe Levinger et al. · 1995 · 164 citations
Verification of Transactional Memory in POWER8
Allon Adir, Dave Goodman, Daniel Hershcovich et al. · 2014 · 18 citations
Engineering, Hardware Verification Language, Verification +17
Rows per page
1–2 of 2