Uwe Sparmann. Derivation of High Quality Tests for Large Heterogeneous Circuits: Floating-Point Operations. In Johannes Buchmann 0001, Harald Ganzinger, Wolfgang J. Paul, editors, Informatik, Festschrift zum 60. Geburtstag von Günter Hotz. Volume 1 of Teubner-Texte zur Informatik, pages 425-439, Teubner / Springer, 1992. [doi]
Abstract is missing.