An edition of VHDL for Simulation, Synthesis, and Formal Proofs of Hardware (1992)

VHDL for simulation, synthesis, and formal proofs of hardware

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: VHDL for simulation, synthesis, and formal proofs of hardware by edited by Jean Mermet.
Preview
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 21, 2024 | History
Edit
An edition of VHDL for Simulation, Synthesis, and Formal Proofs of Hardware (1992)

VHDL for simulation, synthesis, and formal proofs of hardware

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Kluwer Academic
Language
English
Pages
307

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Vhdl (computer hardware description language)

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: VHDL for simulation, synthesis, and formal proofs of hardware
VHDL for simulation, synthesis, and formal proofs of hardware
1992, Kluwer Academic
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references.

Published in
Dordrecht, Boston
Series
The Kluwer international series in engineering and computer science ;, SECS 183

Classifications

Dewey Decimal Class
621.39/2
Library of Congress
TK7885.7 .V48 1992, QA76.7-76.73QA76.76.

The Physical Object

Pagination
ix, 307 p. :
Number of pages
307

ID Numbers

Open Library
OL1714039M
Internet Archive
vhdlforsimulatio0000unse
ISBN 10
0792392531
LCCN
92016266
OCLC/WorldCat
25832172
Goodreads
4854557

Source records

Better World Books record
Library of Congress MARC record
Internet Archive item record
Promise Item
marc_columbia MARC record

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 21, 2024 Edited by MARC Bot import existing book
November 15, 2020 Edited by MARC Bot import existing book
July 31, 2020 Created by ImportBot import existing book