diamond drill

noun

1. a drill having a hollow, cylindrical bit set with diamonds, used for obtaining cores of rock samples.