Немного из другой области но все же похоже...
Если взять, например, реализацию различных телеком протоколов то для них тестирование производится именно так, как это делают буржуи в пункте 1....для этого даже есть спец язык -ttcn и среда разработки tau ttcn suite. Тестовые сценарии обычно приведены в соответствующем протоколу стандарте. Но оч часто (имхо) нет ни времени, ни средств разбираться с тестером; поэтому имхо народ крутит свои тесты. Вроде бы как ttcn скрипты автоматически генерируются из sdl (sdl - грубо говоря, язык описания модели).
Я могу предположить (так как я не аппаратчик, а программист), что в примере с буржуями тоже используется что-то вроде sdl (может быть vhdl) и уже по vhdl создаются тестовые сценарии.