Practical design verification - Pradhan, Dhiraj K. ed.; Harris, Ian G. ed. (Cambridge Cambridge University Press, 2009)
Keywords: Integrated circuits-Verification