Zobrazeno 1 - 10
of 34
pro vyhledávání: '"Djones Lettnin"'
Publikováno v:
ICECS
With the evolution of technology, electronic systems have become significantly more complex. As a consequence, design and verification of these systems evolved notably. Fault injection is a dependability evaluation technique that is strongly recommen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::03d0acd8fdaf112bab12cb4fa8c99da1
https://doi.org/10.1109/icecs.2018.8617838
https://doi.org/10.1109/icecs.2018.8617838
Publikováno v:
SBCCI
The growth in the number of transistors and the increased integration of analog functionality within current chips has added significant complexity to embedded systems. The differences in design and verification methodologies for digital and analog c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::babaeadf12cfde404e9de5a1d7c5a0ba
https://doi.org/10.1109/sbcci.2018.8533229
https://doi.org/10.1109/sbcci.2018.8533229
Publikováno v:
ISVLSI
The current verification flow of complex systems uses different engines synergistically: virtual prototyping, formal verification, simulation, emulation, and FPGA prototyping. However, none of them is able to verify a complete architecture. On the ot
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::488edc03a5517ddb996f4e5284b8bf3b
https://doi.org/10.1109/isvlsi.2018.00049
https://doi.org/10.1109/isvlsi.2018.00049
Publikováno v:
LASCAS
Embedded Systems verification has become a major challenge in recent years due to the increased hardware and software complexity and to the shorter time to market. In order to overcome these issues, new verification methodologies and fault injection
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::487e624ad13edb2a9598b3c992326018
https://doi.org/10.1109/lascas.2018.8399945
https://doi.org/10.1109/lascas.2018.8399945
Autor:
Alexander Grünhage, Wolfgang Rosenstiel, Djones Lettnin, Jörg Behrend, Jürgen Ruf, Thomas Kropf
Publikováno v:
Journal of Electronic Testing. 31:151-166
The verification of embedded software has become an important subject over the last years. However, neither standalone verification approaches, like simulation-based/formal verification, nor state-of-the-art semiformal verification approaches are abl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05cf99838d10d26c1948769c2904ed0c
https://doi.org/10.1007/s10836-015-5518-4
https://doi.org/10.1007/s10836-015-5518-4
Autor:
Djones Lettnin, Markus Winterholer
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
Publikováno v:
ISVLSI
The verification of both hardware and embedded software has become an important subject over the last years. However, neither standalone verification approaches like simulation-based or emulation nor state-of-the-art formal verification approaches ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4422641741b39be7bb9f841cd30d5d5
https://doi.org/10.1109/isvlsi.2017.103
https://doi.org/10.1109/isvlsi.2017.103
Autor:
Djones Lettnin, Markus Winterholer
Publikováno v:
Embedded Software Verification and Debugging ISBN: 9781461422655
Today the debugging and verification of complex system-on-a-chips cannot be considered only on hardware modules anymore. The amount of software has increased significantly over the last years and therefore, the co-debugging and the co-verification of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e288d28337aef05f4ce964e745a469d2
https://doi.org/10.1007/978-1-4614-2266-2_1
https://doi.org/10.1007/978-1-4614-2266-2_1
Autor:
Jörg Behrend, Djones Lettnin, Alexander Grünhage, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Publikováno v:
Embedded Software Verification and Debugging ISBN: 9781461422655
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34c0011f3b4ee83e2371ee340d5c0d51
https://doi.org/10.1007/978-1-4614-2266-2_8
https://doi.org/10.1007/978-1-4614-2266-2_8
Autor:
Guillaume Barrault, Alexandre André Ferreira, Diego Tefili, Julio A. Cordioli, Djones Lettnin
Publikováno v:
Revista Brasileira de Engenharia Biomédica. 29:414-433
INTRODUCAO: O grande numero de deficientes auditivos faz da perda auditiva um serio problema social, economico e de saude publica. Proteses auditivas e implantes cocleares representam os principais dispositivos utilizados como paliativos por pessoas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0497e49dd04346ca18d884c16824c06a
https://doi.org/10.4322/rbeb.2013.039
https://doi.org/10.4322/rbeb.2013.039