HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits
Crossref DOI link: https://doi.org/10.1007/s10836-021-05956-y
Published Online: 2021-06-26
Published Print: 2021-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Minhas, Mishal Fatima
Hasan, Osman http://orcid.org/0000-0003-2562-2669
Abed, Sa’ed
Text and Data Mining valid from 2021-06-26
Version of Record valid from 2021-06-26
Article History
Received: 25 March 2021
Accepted: 16 June 2021
First Online: 26 June 2021