Efficient simulation for hardware model checking

DOI10.29007/RDBBMaRDI QIDQ7025193zbMATH OpenFDO

Authors Joseph Tafese, Arie Gurfinkel

Publication date 19 February 2025

zbMATH Keywords

verificationsimulationmodel checkingbtor2mlir

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Handbook of model checking

This page was built for publication: Efficient simulation for hardware model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025193)