oleg_rudakovДо ASIC дело не дойдет никогда, принципиально не дойдёт. Это одно из основных требований.

ПО функционирует на процессорах. Операционки там никакой нет, только свое firmware.
Под "реальными условиями" понимаются модели наиболее типичных ситуаций. Собственно, дано проанализировать поведение устройтсва на наиболее возможных комбинациях сигналов. Возможно приедется изменять структруру устойства по результам математического моделирования.
Требуется автоматизировать процесс разработки testbenches. Просто уже достало вручную набивать многометровые листинги тестовых векторов.