VHDL for simulation, synthesis, and formal proofs of hardware

著者

• Mermet, Jean P.

書誌事項

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

注記

Includes bibliographical references

• NII書誌ID(NCID): BA18731407
• ISBN:
  • 0792392531
• LCCN: 92016266
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht ; Boston
• ページ数/冊数: ix, 307 p.
• 大きさ: 25 cm
• 分類:
  • LCC : TK7885.7
  • DC20 : 621.39/2
• 件名:
  • LCSH : VHDL (Computer hardware description language)
• 親書誌ID:
  • BA0004729X