Achieving high coverage in hardware equivalence checking via concolic verification

DOI10.1007/s10703-023-00414-1OpenAlexW4323356182MaRDI QIDQ6056637

Sagar Chaki, Pritam Roy

Publication date: 30 October 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-023-00414-1

zbMATH Keywords

equivalencecoveragehardwareconcolic

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item

This page was built for publication: Achieving high coverage in hardware equivalence checking via concolic verification