Lam, William K.

Hardware design verification : simulation and formal method-based approaches - New Jersey: Prentice Hall, 2005 - xxv, 585 p.; : 25 cm.

0131433474 (hbk)


Integrated circuits -- Verification

621.392 / LAM

Powered by Koha