1. IDT Interprise IDT79RC32355, Integrated Communications Processor RISCore 32300 Family, User Reference Manual 2003
2. IEEE 754 Standard for Binary Floating-Point Arithmetic 1985
3. IEEE Standard Verilog Hardware Description Language, IEEE Std 1364-2001 (Revision of IEEE Std 1364-1995) 2001