It is interesting that over the years people have produced synthesizable RTL HDL for the 8086/8088 and later, with varying degrees of fidelity, but no-one seems to have produced similar for the 8087.
A lot of applications where an embedded x86 core makes sense don't have a huge need for FP maths.
AIUI, the 8087 was essentially at the extreme cutting edge of what was possible to produce with the technology of the time, and even Intel at the time was largely treating it as a likely-to-fail project.
The ROM used different sized transistors to store two bits per transistor. That's pure analog territory, which most HDLs don't touch.