Items related to Hardware Description Languages and Their Applications:...

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

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.