And largely irrelevant if the goal is synthesizing something that can be put onto an FPGA to be a workalike for the 8087. It's almost never about synthesizing the exact original hardware to be fabricated. See CPU86 and Zet, for examples:

* https://github.com/nsauzede/cpu86/wiki

* https://github.com/marmolejo/zet