1. Incisive simulation acceleration deployment,
http://www.cadence.com/rl/Resources/application_notes/CDN_Incisive_Simulation_Acceleration_Deployment.pdf
2. FDIV replacement program (statistical analysis of floating point flaw). Technical report (1994),
http://www.intel.com/support/processors/pentium/sb/CS-013007.htm
3. Lecture Notes in Computer Science;J.M. Ludden,2011
4. Lecture Notes in Computer Science;A. Adir,2011
5. Aharoni, M., Asaf, S., Fournier, L., Koyfman, A., Nagel, R.: FPgen - a deep-knowledge test generator for floating point verification. In: Proceedings of the 8th High-Level Design Validation and Test Workshop, pp. 17–22 (2003)