wyszukanych pozycji: 5
![]() |
Verification of Temporal Properties in Embedded Software
ISBN: 9783838112077 / Angielski / Miękka / 2009 / 160 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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...
For some years ago the main statement among verification engineers was "Bugs in hardware cost money." Nowadays, the embedded software is playing an im...
|
cena:
345,33 zł |
![]() |
Embedded Software Verification and Debugging
ISBN: 9781493979318 / Angielski / Miękka / 2018 / 208 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
462,63 zł |
![]() |
Synthesizable VHDL Design for FPGAs
ISBN: 9783319025469 / Angielski / Twarda / 2013 / 157 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA ... |
cena:
501,19 zł |
![]() |
Embedded Software Verification and Debugging
ISBN: 9781461422655 / Angielski / Twarda / 2017 / 208 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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,...
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical ...
|
cena:
501,19 zł |
![]() |
Synthesizable VHDL Design for FPGAs
ISBN: 9783319377339 / Angielski / Miękka / 2016 / 157 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. 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... The methodology described in this book is the result of many years of research experience in the field of synthesizable VHDL design targeting FPGA ... |
cena:
617,53 zł |