| Type |  Book |
| ชื่อเรื่อง | Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh and Mukul Prasad |
| ผู้แต่ง | Fujita, Masahiro |
| ISBN | 0123706165 |
| | 9780123706164 |
| | 9780123706164 (pbk) |
| พิมพลักษณ์ | Amsterdam ;Boston : Morgan Kaufmann Publishers, c2008 |
| รูปเล่ม | viii, 240 p. : ill |
| ลิงค์ | Ebook from ScienceDirect |
| หัวเรื่อง | Integrated circuits |
| | FORMAL METHODS (COMPUTER SCIENCE) |
| | INTEGRATED CIRCUITS --VERIFICATION [] |
| | Systems on a chip |
| | SYSTEMS ON A CHIP --TESTING [] |