EDK
PowerPC Block Reference Guide
PowerPC Processor Reference Guide
Virtex4 Overview
Virtex4 User Guide
Virtex4 Datasheet
Virtex4 Configuration Guide
Virtex4 Pinouts
Rocket I/O User Guide