On embedding a hardware description language in Isabelle/HOL
Crossref DOI link: https://doi.org/10.1007/s10617-019-09226-1
Published Online: 2019-11-05
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Khan, Wilayat http://orcid.org/0000-0003-0993-5964
Sanan, David
Hou, Zhe
Yang, Liu
Text and Data Mining valid from 2019-11-05
Version of Record valid from 2019-11-05
Article History
Received: 24 September 2018
Accepted: 25 October 2019
First Online: 5 November 2019