Hardware Description Languages and Their Applications - Softcover

 
9781475753868: Hardware Description Languages and Their Applications

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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