Derivation of high quality tests for large heterogeneous circuits: floating-point operations | IEEE Conference Publication | IEEE Xplore