| Type |  Book |
| ชื่อเรื่อง | Assertion-based design [electronic resource] / Harry Foster, Adam Krolnik, David Lacey |
| ผู้แต่ง | Foster, Harry 1956- |
| ISBN | 140208028X (ebook) |
| | 9781402080289 (ebook) |
| พิมพลักษณ์ | Boston : Kluwer Academic Publishers, c2004 |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | 1 online resource (xxiii, 390 p.) : ill |
| หัวเรื่อง | Integrated circuits --Verification [] |
| | Integrated circuits --Very large scale integration --Design and construction [] |
| | Verilog (Computer hardware description language) |