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.; 29cm
Sách photo
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á
SKN005463 (DHSPKT -- KD -- )

Từ khóa: Thermodynamics

11 p minhhoai 08/10/2013 373 1