That's what the project they pulled this from (ao486) says:

"The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX"

https://github.com/alfikpl/ao486