@misc{indiciae12b928d9db63,
  title = {From Physical Devices to RTL Models: Abstraction and Validation in Hardware Engineering},
  author = {Wolfgang Ecker and Natalie Simson and Johannes Ecker and Endri Kaja},
  year = {2026},
  url = {https://arxiv.org/abs/2610.01186},
  note = {Source identifier: 2610.01186}
}