Zobrazeno 1 - 10
of 17
pro vyhledávání: '"B.5.3"'
Autor:
Ryan, Kaki, Sturton, Cynthia
Symbolic execution is a powerful verification tool for hardware designs, but suffers from the path explosion problem. We introduce a new approach, piecewise composition, which leverages the modular structure of hardware to transfer the work of path e
Externí odkaz:
http://arxiv.org/abs/2304.05445
Publikováno v:
ACM Transactions on Design Automation of Electronic Systems, 2024
Concolic testing is a scalable solution for automated generation of directed tests for validation of hardware designs. Unfortunately, concolic testing also fails to cover complex corner cases such as hard-to-activate branches. In this paper, we propo
Externí odkaz:
http://arxiv.org/abs/2302.12241
Motion planning is a computationally intensive and well-studied problem in autonomous robots. However, motion planning hardware accelerators (MPA) must be soft-error resilient for deployment in safety-critical applications, and blanket application of
Externí odkaz:
http://arxiv.org/abs/2110.08906
Autor:
Maier, Jürgen, Steininger, Andreas
Publikováno v:
17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014, pp. 33-38
Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task
Externí odkaz:
http://arxiv.org/abs/2006.04577
Reconstructing system-level behavior from silicon traces is a critical problem in post-silicon validation of System-on-Chip designs. Current industrial practice in this area is primarily manual, depending on collaborative insights of the architects,
Externí odkaz:
http://arxiv.org/abs/2005.02550
Autor:
Szajowski, Krzysztof
Publikováno v:
Springer Proceedings in Mathematics and Statistics 2015
Multivariate data sources with components of different information value seem to appear frequently in practice. Models in which the components change their homogeneity at different times are of significant importance. The fact whether any changes are
Externí odkaz:
http://arxiv.org/abs/1410.7091
Autor:
Wisniewski, Rafael
Publikováno v:
EPTCS 124, 2013, pp. 5-8
Formal verification has been successfully developed in computer science for verifying combinatorial classes of models and specifications. In like manner, formal verification methods have been developed for dynamical systems. However, the verification
Externí odkaz:
http://arxiv.org/abs/1308.5330
Autor:
Szajowski, Krzysztof
Publikováno v:
GameSec 2011, LNCS 7037, pp. 56-66, 2011
The paper deals with a mathematical model of a surveillance system based on a net of sensors. The signals acquired by each node of the net are Markovian process, have two different transition probabilities, which depends on the presence or absence of
Externí odkaz:
http://arxiv.org/abs/1111.4504
Autor:
Jürgen Maier, Andreas Steininger
Complementing concurrent checking with online testing is crucial for preventing fault accumulation in fault-tolerant systems with long mission times. While implementing a non-intrusive online test is cumbersome in a synchronous environment, this task
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e402fbab571d8e10cfd71f4e3da21081
http://arxiv.org/abs/2006.04577
http://arxiv.org/abs/2006.04577
Publikováno v:
ACM Great Lakes Symposium on VLSI on VLSI (GLSVLSI) 2014.
GLSVLSI 2014
GLSVLSI 2014, May 2014, Houston, United States
ACM Great Lakes Symposium on VLSI
GLSVLSI 2014
GLSVLSI 2014, May 2014, Houston, United States
ACM Great Lakes Symposium on VLSI
International audience; Embedded systems often implement safety critical applications making security a more and more important aspect in their design. Control-Flow Integrity (CFI) attacks are used to modify program behavior and can lead to learn val
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04210ab8bc3d8a4685788ca7b134be58
https://hal.archives-ouvertes.fr/hal-01009551
https://hal.archives-ouvertes.fr/hal-01009551