Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 chapters)
-
Applications to formal proofs, high-level synthesis, multilevel simulation and hierarchical testing
-
Introduction to Hardware Description Languages implemented in the 80’s
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Fundamentals and Standards in Hardware Description Languages
Editors: Jean P. Mermet
Series Title: NATO Science Series E:
DOI: https://doi.org/10.1007/978-94-011-1914-6
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1993
Hardcover ISBN: 978-0-7923-2513-0Published: 30 September 1993
Softcover ISBN: 978-94-010-4846-0Published: 05 October 2012
eBook ISBN: 978-94-011-1914-6Published: 06 December 2012
Series ISSN: 0168-132X
Edition Number: 1
Number of Pages: XII, 466
Topics: Theory of Computation, Engineering, general, Circuits and Systems, Computer-Aided Engineering (CAD, CAE) and Design, Programming Languages, Compilers, Interpreters, Electrical Engineering