Hardware design verification : simulation and formal method-based approaches
By: Lam, William K.
Material type:
BookPublisher: New Jersey: Prentice Hall, 2005Description: xxv, 585 p.; : 25 cm.ISBN: 0131433474 .Subject(s): Integrated circuits -- VerificationDDC classification: 621.392
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 621.392 LAM (Browse shelf) | Checked out | 15/05/2024 | 013004 |
There are no comments for this item.