Hardware design verification : simulation and formal method-based approaches

William K. Lam
Bok · Engelsk · 2005

Utgitt	Upper Saddle River, N.J. : Prentice Hall PTR , cop. 2005
Omfang	XXV, 585 s. : ill.
Emner	Integrated circuits - Verification Integrerte kretser - Prøving
ISBN	0131433474