TY  - RPRT
TI  - TRACE: Traversal and Reasoning Algebraic Computing Engine for Formal Hardware Verification
AU  - Jan Kleinekathöfer
AU  - Lennart Weingarten
AU  - Kamalika Datta
AU  - Rolf Drechsler
PY  - 2026
UR  - https://arxiv.org/abs/2608.16458
ID  - 2608.16458
ER  -