1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.AR2026
From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering
Wolfgang Ecker, Natalie Simson, Johannes Ecker +1
This paper introduces the foundational principles underlying hardware engineering models and argues that abstraction is their defining characteristic. Because abstraction necessari…
cs.SE2022★ 1 cited
MetFI: Model-driven Fault Simulation Framework
Endri Kaja, Nicolas Gerlin, Luis Rivas +3
Safety-critical designs need to ensure reliable operations under hostile conditions with a certain degree of confidence. The continuously higher complexity of these designs makes t…