I am using X40 ver1.4 board with an XC4010XL Chip. I am desiging a simple microprocessor, and I'd like to know if I can use the SRAM as a RAM without using the 8031 uc?
The FPGA on the XS40 is connected to the address, data, and control pins of the SRAM, so it can read and write the RAM without using the 8031 uC on the board.
Where can i find the timing diagram for the installed RAM?
The RAM on the XS40 and XS95 Boards is a Winbond W24257AK so you should be able to find its datasheet with timing diagrams on their site.
What is the format of the HEX file to be put in RAM?
XSLOAD and GXSLOAD can initialize the RAM with the contents of an Intel HEX file. You can read about the Intel HEX file format in this document.