1. Lecture Notes in Computer Science;A Arcuri,2010
2. ARM CoreLink CCI-400 Cache Coherent Interconnect - Technical Reference Manual. http://infocenter.arm.com/help/topic/com.arm.doc.ddi0470k/DDI0470K_cci400_r1p5_trm.pdf
3. IEC 62142–2005 First 2005th edn. –06 IEEE Std 1364.1 - Verilog Register Transfer Level Synthesis
4. White paper on big.LITTLE $$^{\rm TM}$$ TM processing Technology. http://www.arm.com/files/pdf/CacheCoherencyWhitepaper_6June2011.pdf
5. TestChip2 - part of ARM Versatile Express product family. http://www.arm.com/products/tools/development-boards/versatile-express/index.php