TY  - RPRT
TI  - An Executable Formal Model of the VHDL in Isabelle/HOL
AU  - Wilayat Khan
AU  - Zhe Hou
AU  - David Sanan
AU  - Jamel Nebhen
AU  - Yang Liu
AU  - Alwen Tiu
PY  - 2022
UR  - https://arxiv.org/abs/2202.04192
ID  - 2202.04192
ER  -