Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems - Softcover

 
9781475753868: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems
Softcover
ISBN 10: 1475753861 ISBN 13: 9781475753868
Publisher: Springer, 2013

Synopsis

Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2013
Language
English
ISBN 10 
1475753861
ISBN 13 
9781475753868
Binding
Paperback
Number of pages
364
Editor
Delgado Kloos Carlos, Cerny Eduard

Other Popular Editions of the Same Title

9780412788109: Hardware Description Languages and their Applications: Specification, modelling, verification and synthesis of microelectronic systems (IFIP Advances in Information and Communication Technology)

Featured Edition

ISBN 10:  0412788101 ISBN 13:  9780412788109
Publisher: Springer, 1997
Hardcover