1. Assertion-Based Verification. Springer, US. doi:
2. Axi interconnect.
http://www.xilinx.com/products/intellectual-property/axi_interconnect.htm
3. Generic and automatic specman based verification environment for image signal processing ips.
http://design-reuse.com/articles/20907/specman-verification-image-signal-processing-ip
4. Tlmu.
http://edgarigl.github.io/tlmu
5. Aghajan H, Cavallaro A (2009) Multi-camera networks: principles and applications. Academic Press, Waltham