The Floating-Point Unit of the Jaguar x86 Core | IEEE Conference Publication | IEEE Xplore