1. Nelson, H.F.: Beebe’s IEEE754 Floating-Point test software,
http://www.math.utah.edu/~beebe/software/ieee
2. Floating-Point Test Suite for IEEE 754R Standard,
https://www.research.ibm.com/haifa/projects/verification/fpgen/ieeets.html
3. Aharon, A., Goodman, D., Levinger, M., Lichtenstein, Y., Malka, Y., Metzger, C., Molho, M., Shurek, G.: Test Program Generation for Functional Verification of PowerPC Processors in IBM. In: Proceedings of the 32th Design Automation Conference, pp. 279–285 (1995)
4. Arbetman, Y., Levinger, M., Fournier, L.: Functional Verification Methodology of Microprocessors Using the Genesys Test Program Generator. Application to the x86 Microprocessors Family. In: Proceedings of the Design, Automation, and Test in Europe (DATE 1999), pp. 434–441 (1999)
5. Naveh, Y., Rimon, M., Jaeger, I., Katz, Y., Vinov, M., Marcus, E., Shurek, G.: Constraint-biased Random Stimuli Generation for Hardware Verification. AI Magazine 28(2), 13–30 (2007)