VHDL for simulation, synthesis, and formal proofs of hardware
By: edited by Jean Mermet.
Contributors: Mermet, Jean P.
Series: The Kluwer international series in engineering and computer science ;; SECS 183
Publisher: Kluwer Academic
Published: 1992
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 307
Subjects: VHDL (Computer hardware description language)
Notes: Includes bibliographical references.