1. Bhadra J, Abadir MS, Ray S, Wang L-C (2007) A survey of hybrid techniques for functional verification. IEEE Des Test Comput 24(2):112–122
2. Bartley MG, Galpin D, Blackmore T (2002) A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. In: Proc. 39th Design Automation Conf. (DAC02), ACM Press, New York, 2002, pp 819–823
3. OSCI (2003) SystemC Verification standard specification version 1.0e.
http://www.systemc.org
, May, 2003
4. Yuan J, Shen J, Abraham J, Aziz A (1997) On combining formal and informal verification. In: Proc. Int’l Conf. Computer-Aided Verific., LNCS 1254, Springer, Heidelberg, 1997, pp 376–387
5. Sumners R, Bhadra J, Abraham J (2000) Automatic validation test generation using extracted control models. In: Proc. IEEE Int’l Conf. VLSI Design, pp 312–320