Feb, 2022

使用 Isabelle/HOL 实现的 VHDL 可执行形式模型

TL;DR该研究通过定义 Isabelle/HOL 中的 VHDL 语言的形式模型,并构建 VHDL 仿真器,实现了对 VHDL 语言进行形式推理的目的。