Язык ассемблера — стековая машина

Я изучаю ассемблер в свободное время, чтобы стать лучшим разработчиком.

Я понимаю разницу между машинами на основе стека и машинами на основе регистров на концептуальном уровне, но мне интересно, как на самом деле реализованы машины на основе стека. Если виртуальная машина, например. JVM или .NET работает на архитектуре на основе регистров, например. x86 или x64, то он должен использовать регистры на уровне сборки (насколько я понимаю). Я явно что-то здесь упускаю. Поэтому я не уверен в различии на ассемблере.

Я читал статьи здесь, например. Машина на основе стека зависит от машины на основе регистра?а также от Википедии, но я не верю, что они прямо отвечают на мой вопрос.