Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
EUR 16,00
Cantidad disponible: 1 disponibles
Añadir al carritoxvi, 208 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
EUR 100,31
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 111,13
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
EUR 100,09
Cantidad disponible: 10 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 120,23
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 129,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
EUR 129,66
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 137,16
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 136,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 136,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
EUR 136,00
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 155,83
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 160,02
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Idioma: Inglés
Publicado por Springer International Publishing, 2016
ISBN 10: 3319377337 ISBN 13: 9783319377339
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 109,99
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, the language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
EUR 171,66
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 157.
EUR 180,97
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 168.
EUR 162,79
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 168 pages. 9.25x6.10x0.38 inches. In Stock.
Idioma: Inglés
Publicado por Springer New York, Springer US Jul 2018, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 128,39
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
Idioma: Inglés
Publicado por Springer New York, Springer US, 2018
ISBN 10: 1493979310 ISBN 13: 9781493979318
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 131,13
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
EUR 173,72
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Like New. Like New. book.
EUR 191,40
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 2014 edition. 157 pages. 9.25x6.25x0.50 inches. In Stock.
Idioma: Inglés
Publicado por Springer New York, Springer New York Apr 2017, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 139,09
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.
EUR 92,13
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, the language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
Idioma: Inglés
Publicado por Springer International Publishing, Springer International Publishing, 2013
ISBN 10: 3319025465 ISBN 13: 9783319025469
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 139,09
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA based platforms. VHDL was first conceived as a documentation language for ASIC designs. Afterwards, the language was used for the behavioral simulation of ASICs, and also as a design input for synthesis tools. VHDL is a rich language, but just a small subset of it can be used to write synthesizable code, from which a physical circuit can be obtained. Usually VHDL books describe both, synthesis and simulation aspects of the language, but in this book the reader is conducted just through the features acceptable by synthesis tools. The book introduces the subjects in a gradual and concise way, providing just enough information for the reader to develop their synthesizable digital systems in VHDL. The examples in the book were planned targeting an FPGA platform widely used around the world.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 192,34
Cantidad disponible: 2 disponibles
Añadir al carritoHardcover. Condición: Brand New. 400 pages. 9.25x6.25x0.75 inches. In Stock.
Idioma: Inglés
Publicado por Springer New York, Springer New York, 2017
ISBN 10: 1461422655 ISBN 13: 9781461422655
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 143,31
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the verification of both hardware and embedded software modules, this book focuses on verification and debugging approaches for embedded software with hardware dependencies. Coverage includes the entire flow of design, verification and debugging of embedded software and all key approaches to debugging, dynamic, static, and hybrid verification. This book discusses the current, industrial embedded software verification flow, as well as emerging trends with focus on formal and hybrid verification and debugging approaches.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 188,00
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
EUR 199,45
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
EUR 201,08
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
Idioma: Inglés
Publicado por Südwestdeutscher Verlag Für Hochschulschriften Nov 2009, 2009
ISBN 10: 3838112075 ISBN 13: 9783838112077
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,90
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -For some years ago the main statement among verification engineers was Bugs in hardware cost money. Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to Bugs in hardware and in software cost a lot of money. Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification. 160 pp. Englisch.