Речник на българския език
биха гравирали е производна форма на гравирам (условно наклонение, 3 л., мн. ч.).