Hello,
I am working on an SOC with ARM. Project uses AMBA AHB bus. I have understood the AHB protocol. The testbench is written for complete SOC by writing code for ARM processor. I would like to know if there is any book on SOC design, verification, etc