Computer Hardware Description Languages and Their Applications: Proceedings of the Ifip Wg 10.2 Ninth International Symposium on Computer Hardware D . DESCRIPTION LANGUAGES AND THEIR APPLICATIONS) de Darringer, John A.: Good Hardcover (1990)

Descripci�n

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!

N� de ref. del art�culo S_433168435

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Computer Hardware Description Languages and Their Applications: Proceedings of the Ifip Wg 10.2 Ninth International Symposium on Computer Hardware D . DESCRIPTION LANGUAGES AND THEIR APPLICATIONS)
Editor: North-Holland
Fecha de publicaci�n: 1990
Idioma: Ingl�s
ISBN 10: 0444884114
ISBN 13: 9780444884114
Encuadernaci�n: Hardcover
Estado: Good

Acerca de

Sinopsis

Languages for precisely describing the behavior of computers have been studied since the conception of the computer itself. As the computer industry has grown, so has the need to exchange information about computers. Computer Hardware Description Languages (CHDL) are required to: - provide specifications and detailed implementation for a growing menu of sophisticated design automation tools, including synthesis, verification, simulation, analysis, optimization, placement, wiring and testing - communicate requirements and capabilities between suppliers and users of computer components and subsystems - facilitate the transfer of new methods and results within the university and industrial research community. As reflected in this book, there is an increased emphasis on applications and resulting requirements that are placed on CHDLs. In the field of synthesis , a major application area, there is today a focus on high-level synthesis and synthesis under design constraints. In the area of design correctness , research has shifted away from simulation to formal verification techniques such as temporal logic.

Rese�a del editor

Languages for precisely describing the behavior of computers have been studied since the conception of the computer itself. As the computer industry has grown, so has the need to exchange information about computers. Computer Hardware Description Languages (CHDL) are required to: - provide specifications and detailed implementation for a growing menu of sophisticated design automation tools, including synthesis, verification, simulation, analysis, optimization, placement, wiring and testing - communicate requirements and capabilities between suppliers and users of computer components and subsystems - facilitate the transfer of new methods and results within the university and industrial research community. As reflected in this book, there is an increased emphasis on applications and resulting requirements that are placed on CHDLs. In the field of synthesis , a major application area, there is today a focus on high-level synthesis and synthesis under design constraints. In the area of design correctness , research has shifted away from simulation to formal verification techniques such as temporal logic.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.