VHDL for simulation, synthesis, and formal proofs of hardware

Author(s)

• Mermet, Jean P.

Bibliographic Information

VHDL for simulation, synthesis, and formal proofs of hardware

edited by Jean Mermet

（The Kluwer international series in engineering and computer science, SECS 183）

Kluwer Academic, c1992

Note

Includes bibliographical references

Details

• NCID: BA18731407
• ISBN:
  • 0792392531
• LCCN: 92016266
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht ; Boston
• Pages/Volumes: ix, 307 p.
• Size: 25 cm
• Classification:
  • LCC : TK7885.7
  • DC20 : 621.39/2
• Subject Headings:
  • LCSH : VHDL (Computer hardware description language)
• Parent Bibliography ID:
  • BA0004729X