| Type |  Book |
| ชื่อเรื่อง | Practical design verification / edited by Dhiraj K. Pradhan, Ian G. Harris |
| ISBN | 0521859727 (hc) |
| | 9780521859721 (hc) |
| พิมพลักษณ์ | Cambridge, UK ; New York : Cambridge University Press, c2009 |
| รูปเล่ม | xi, 276 p. : ill |
| หัวเรื่อง | Integrated circuits --Verification [] |