Proceedings : International Conference on Computer Design : VLSI in computers and processors, October 12-15, 1997, Austin, Texas

著者

• International Conference on Computer Design
• IEEE Computer Society Technical Committee on Design Automation
• IEEE Circuits and Systems Society

書誌事項

Proceedings : International Conference on Computer Design : VLSI in computers and processors, October 12-15, 1997, Austin, Texas

sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Circuits and Systems Society

IEEE Computer Society, c1997

• : pbk

注記

"IEEE order plan catalog number 97CB36149"--T.p. verso

Includes bibliographical references and index

内容説明・目次

内容説明

Aimed at researchers, professors, practitioners, students and other computing professionals, this book looks at topics such as: industrial applications of formal verification; stimulation and power estimation; branch prediction; and new techniques for gate-sizing and retiming.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA34859693
• ISBN:
  • 081868206X
  • 0818682078
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Los Alamitos, Calif.
• ページ数/冊数: xix, 761 p.
• 大きさ: 28 cm