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