no code implementations • 8 Feb 2022 • Wilayat Khan, Zhe Hou, David Sanan, Jamel Nebhen, Yang Liu, Alwen Tiu
To enable formal reasoning in one of the most commonly used description language VHDL, we define a formal model of the VHDL language in Isabelle/HOL.
no code implementations • 6 Jan 2017 • Yongwang Zhao, David Sanan, Fuyuan Zhang, Yang Liu
In accordance with the analytical framework, a comprehensive analysis and discussion of related work are presented.
Software Engineering