Zobrazeno 1 - 10
of 18
pro vyhledávání: '"Tobias Wiersema"'
Publikováno v:
IEEE Access, Vol 9, Pp 160559-160579 (2021)
Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have b
Externí odkaz:
https://doaj.org/article/df1862bda21144b68e566dc5ed30f8d3
Publikováno v:
Proceedings of the 59th ACM/IEEE Design Automation Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1764bedd46f82f282379c61b6e2b6dad
https://doi.org/10.1145/3489517.3530463
https://doi.org/10.1145/3489517.3530463
Publikováno v:
IEEE Access, Vol 9, Pp 160559-160579 (2021)
Verification of software and processor hardware usually proceeds separately, software analysis relying on the correctness of processors executing machine instructions. This assumption is valid as long as the software runs on standard CPUs that have b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fcbc45c9d572087e79df42e88ac0d46
https://doi.org/10.1109/access.2021.3131213
https://doi.org/10.1109/access.2021.3131213
Publikováno v:
2022 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::78d2ac8a6104d99623ea019b39114115
https://doi.org/10.23919/date54114.2022.9774604
https://doi.org/10.23919/date54114.2022.9774604
Publikováno v:
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 28:2084-2088
Approximate circuits (AxCs) tradeoff computational accuracy against improvements in hardware area, delay, or energy consumption. IP core vendors who wish to create such circuits need to convince consumers of the resulting approximation quality. As a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2b380970c0c956375e78e2ee3ada49ca
https://doi.org/10.1109/tvlsi.2020.3008061
https://doi.org/10.1109/tvlsi.2020.3008061
Autor:
Muhammad Awais, Linus Witschen, Hassan Ghasemzadeh Mohammadi, Marco Platzner, Tobias Wiersema
Publikováno v:
Microelectronics Reliability. 99:277-290
Existing approaches and tools for the generation of approximate circuits often lack generality and are restricted to certain circuit types, approximation techniques, and quality assurance methods. Moreover, only few tools are publicly available. This
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11cc4470009f9ab4b17c2f57f605cf1d
https://doi.org/10.1016/j.microrel.2019.04.003
https://doi.org/10.1016/j.microrel.2019.04.003
Publikováno v:
DATE
The battle of developing hardware Trojans and corresponding countermeasures has taken adversaries towards ingenious ways of compromising hardware designs by circumventing even advanced testing and verification methods. Besides conventional methods of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5e4694f140595840ff649f5b327c0066
https://doi.org/10.23919/date51398.2021.9474026
https://doi.org/10.23919/date51398.2021.9474026
Publikováno v:
Applied Reconfigurable Computing. Architectures, Tools, and Applications ISBN: 9783030790240
ARC
ARC
Fine-grained reconfigurable FPGA overlays, usually called virtual FPGAs, suffer from virtualization costs regarding area requirements and timing performance. Decreasing the area costs of such virtual FPGAs has been the focus of several research effor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0abc4b1beb2b7c247163fb1172b3998a
https://doi.org/10.1007/978-3-030-79025-7_4
https://doi.org/10.1007/978-3-030-79025-7_4
Autor:
Tobias Wiersema
Publikováno v:
Tobias Wiersema
Die bisherige Forschung zu Proof-Carrying Hardware (PCH) hat dessen Machbarkeit und N��tzlichkeit gezeigt und einen Ansatz zur Zertifizierung der funktionalen ��quivalenz zu einer Spezifikation geliefert, jedoch ohne PCH mit aktuellen Erkennt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e0f46cf094649a0cde020a3efc7525b
https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-1221
https://digital.ub.uni-paderborn.de/doi/10.17619/UNIPB/1-1221
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems. 22:1-23
Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically reconfigurable hardware systems. The producer of a hardware module spends huge effort when creating a proof for a safety policy. The proof is then transferred as a cert
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baacbf1fd8d6dd7af19e7dec66d781de
https://doi.org/10.1145/3054743
https://doi.org/10.1145/3054743