@gloriouscow Are we talking like the analysis of IEEE 754 from a mathematical perspective or? I have done quite a bit of that ages ago, but I am not sure exactly what you are asking for?

It also feels like you might be trying to validate things like bus cycles for the coprocessors and stuff?