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 Jean Mermet
Not in Library

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

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 8, 2019 | 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
Springer Science+Business Media, B.V.
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, Springer Science+Business Media, B.V.
electronic resource / in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

pt. I. Simulation
pt. II. Synthesis
pt. III. Formal verification and semantics
pt. IV. System level design and modelling.

Edition Notes

Originally published by Kluwer Academic Publishers in 1992.

Softcover reprint of the hardcover 1st edition 1992.

Includes bibliographical references.

Published in
Dordrecht
Series
The Kluwer international series in engineering and computer science -- SECS 183, Kluwer international series in engineering and computer science -- SECS 183.

Classifications

Library of Congress
TK7885.7 .V43 1992eb, QA76.7-76.73QA76.76., QA76.76.C65

The Physical Object

Format
[electronic resource] /
Pagination
1 online resource (ix, 307 p.)
Number of pages
307

ID Numbers

Open Library
OL27094441M
Internet Archive
vhdlforsimulatio00mars
ISBN 10
146153562X
ISBN 13
9781461535621, 9781461365822
OCLC/WorldCat
828735476

Source records

Internet Archive item record
Better World Books record
Better World Books 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 8, 2019 Created by MARC Bot import new book