Principles of functional verification /
Meyer, Andreas(Andreas S.)
Amsterdam ; London : Newnes,
c2004.
Integrated circuits