Munden, Richard ASIC and FPGA verification : a guide to component modeling / Richard Munden - San Francisco, CA: Morgan Kaufmann, 2005 - xx, 316 p. : ill. ; 24 cm. Includes index ISBN: 0125105819 Subjects--Topical Terms: Application specific integrated circuits