Automated and scalable verification of integer multipliers
From MaRDI portal
Publication:2225123
DOI10.1007/978-3-030-53288-8_23zbMath1478.68178OpenAlexW3043296681MaRDI QIDQ2225123
Mertcan Temel, Warren A. jun. Hunt, Anna Slobodová
Publication date: 4 February 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-53288-8_23
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)
Related Items
Uses Software