Проведите аналогию с нагрузочными характеристиками блоков питания.
Нагрузка может зависеть от окружающей температуры.
В данном же случае напряжение на сборке зависит от предела тепловыделения 5 Ватт с резистора R1, т. е. автоматически от сопротивления R2 (R2 также ограничивает ток, а от тока зависит тепловыделение на R1).
Да, это и есть тот самый графический способ решения.
На графике можно увидеть диапазон значений R2, для которого тепловыделение на R2 будет выше одного Ватта.
Я считаю, что задача RTL кодера и/или верификатора - писать, соответственно, код и его верифицировать, а искать и обеспечивать работоспособность инструментария - прямая задача айтишников. Тем более, что они чего-то там не хотят. Как девочки.