2 papers
cs.AR2025
Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
Tobias Strauch
We demonstrate how dynamic verification (e.g. simulation) can be replaced by deductive formal verification and how to benefit from the advantages of symbolic verification and the r…
cs.AR2024
Non-interfering On-line and In-field SoC Testing
Tobias Strauch
With increasing aging problems of advanced technologies, in-field testing becomes an inevitable challenge, on top of the already demanding requirements, such as the ISO26262 for au…