An Executable Formal Model of the VHDL in Isabelle/HOL

Wilayat Khan, Zhe Hou, David Sanan +3

In the hardware design process, hardware components are usually described in a hardware description language. Most of the hardware description languages, such as Verilog and VHDL,…