| Type |  Book |
| ชื่อเรื่อง | VHDL for simulation synthesis and formal proofs of hardware / edited by Jean Mermet |
| ISBN | 0-7923-9253-1 |
| พิมพลักษณ์ | Dordrecht : Kluwer Academic, c1992 |
| รูปเล่ม | 307 p. : ill. ; 25 cm |
| หัวเรื่อง | Vhdl (Computer hardware description language) |