ITRS, “International Technology Roadmap for Semiconductors 2.0,” Tech. Rep., 2015.
 J. Turley, “Avoiding the SoC Verification Iceberg,” 2013. [Online]. Available: https://www.eejournal.com/article/20130815-breker/
 H. Foster, “Trends in functional verification,” in Proceedings of the 52nd Annual Design Automation Conference (DAC '15). New York, New York, USA: ACM Press, 2015, pp. 1-6.
 V. Singhal, “Oski Technologies-Formal Verification: Theory and Practice.” [Online]. Available: http://drona.csa.iisc.ernet.in/ deepakd/ talks/formal-iisc-0306.pdf
 A. Cimatti and et al., “Software Model Checking SystemC,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 32, no. 5, pp. 774-787, 2013.
 E. Seligman, T. Schubert, and M. V. A. K. Kumar, Formal verification: an essential toolkit for modern VLSI design. Morgan Kaufmann, 2015. [OpenAIRE]
 D. Gajski and et al., Embedded System Design. Boston, MA: Springer US, 2009.
 D. Nenni and D. Dingee, Prototypical - The Emergence of FPGA-Based Prototyping for SoC Design. CreateSpace Independent Publishing Platform, 2016.
 U. Simm, S. Rosenberg, E. de Kock, and P. A. Hartmann, “Accellera Standards Technical Update,” in 2015 Design and Verification Conference and Exhibition, 2015.
 H. Foster, “Applied Assertion-Based Verification: An Industry Perspective,” Foundations and Trends R in Electronic Design Automation, vol. 3, no. 1, pp. 1-95, 2009.
 R. Mukherjee and et al., “Hardware Verification Using Software Analyzers,” in 2015 IEEE Computer Society Annual Symposium on VLSI. IEEE, jul 2015, pp. 7-12.
 P. Herber, “The RESCUE Approach - Towards Compositional Hardware/Software Co-verification,” in 2014 IEEE Intl Conf on High Performance Computing and Communications (HPCC). IEEE, aug 2014, pp. 721-724.
 D. Große and et al., “HW/SW co-verification of embedded systems using bounded model checking,” in Proceedings of the 16th ACM Great Lakes symposium on VLSI - GLSVLSI '06. New York, New York, USA: ACM Press, 2006, p. 43.