VHDL for simulation, synthesis, and formal proofs of hardware / edited by Jean Mermet. Mermet, Jean P. VHDL (Computer hardware description language) TK7885.7 .V48 1992 621.392 20 VHD Includes bibliographical references. Dordrecht ; Boston : Kluwer Academic, c1992. c1992. 1992 Text ix, 307 p. : eng The Kluwer international series in engineering and computer science ; SECS 183