Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (27 chapters)
-
Specification and Design of Reactive Systems
-
Verification Using Model Checking Techniques (+ poster abstracts)
-
Formal Characterizations of Systems
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Hardware Description Languages and their Applications
Book Subtitle: Specification, modelling, verification and synthesis of microelectronic systems
Editors: Carlos Delgado Kloos, Eduard Cerny
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-35064-6
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1997
Hardcover ISBN: 978-0-412-78810-9Published: 30 April 1997
Softcover ISBN: 978-1-4757-5387-5Published: 08 January 2013
eBook ISBN: 978-0-387-35064-6Published: 05 June 2013
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: X, 350
Topics: Programming Languages, Compilers, Interpreters, Manufacturing, Machines, Tools, Processes