Functional verification of floating point arithmetic unit

For continuous real-time reactivity monitoring of PFBR reactivity safety channel, a FPGA based reactivity meter has been developed by Electronics Division, BARC. Verification of designs involved in Safety Critical systems is very important and necessary. Functional verification of this design is presently carried out by EID, IGCAR. In Reactivity meter, Floating Point Arithmetic Unit (FPAU) is a major and very important sub module, which needs to be completely verified first. Two types of verifications are possible: Functional verification and Formal verification. This paper discusses and shares the experiences of functional verification of FPAU module for all special floating point numbers. (author)