@misc{indiciaea856a710b839,
  title = {An Executable Formal Model of the VHDL in Isabelle/HOL},
  author = {Wilayat Khan and Zhe Hou and David Sanan and Jamel Nebhen and Yang Liu and Alwen Tiu},
  year = {2022},
  url = {https://arxiv.org/abs/2202.04192},
  note = {Source identifier: 2202.04192}
}