Hardware design verification : simulation and formal method-based approaches

Hardware design verification : simulation and formal method-based approaches / William K. Lam. -- Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005
xxv,585p.: ill.; 24cm
0131433474 (alk. paper)

1. Integrated circuits. 2. Verification.

Dewey Class no. : 621.392 -- dc 22
Call no. : 621.392 L213




Dữ liệu xếp giá
SKN004705 (DHSPKT -- KD -- )