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

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/nsauzede/cpu86/wiki * https://github.com/marmolejo/zet https://github.com/marmolejo/zet