Achieving high coverage in hardware equivalence checking via concolic verification
Crossref DOI link: https://doi.org/10.1007/s10703-023-00414-1
Published Online: 2023-03-07
Published Print: 2022-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Roy, Pritam
Chaki, Sagar
Text and Data Mining valid from 2022-06-01
Version of Record valid from 2022-06-01
Article History
Received: 4 February 2022
Accepted: 13 February 2023
First Online: 7 March 2023