| Type | Book |
| ชื่อเรื่อง | Principles of verifiable RTL design : a functional coding style supporting verification processes in Verilog / Lionel Bening and Harry Foster |
| ผู้แต่ง | Bening, Lionel |
| ISBN | 0792373685 |
| พิมพลักษณ์ | Boston : Kluwer Academic Publishers, c2001 [3rd printing 2002] |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | 281 p. : ill |
| หัวเรื่อง | Electronic digital computers |
| | Integrated circuits |
| | Verilog (Computer hardware description language) |
| | Very large scale integration |