Sound and Automated Verification of Real-World RTL Multipliers

Temel, Mertcan; Hunt, Warren A., Jr.

doi:10.34727/2021/isbn.978-3-85448-046-4_13

Record link:

http://hdl.handle.net/20.500.12708/18631
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_13

Title:

Sound and Automated Verification of Real-World RTL Multipliers

Citation:

Temel, M., & Hunt, W. A., Jr. (2021). Sound and Automated Verification of Real-World RTL Multipliers. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 53–62). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_13

reposiTUm DOI:

10.34727/2021/isbn.978-3-85448-046-4_13

CatalogPlus:

AC17204463

Publication Type:

Inproceedings - Full-Paper Contribution

Language:

English

Authors:

Temel, Mertcan
Hunt, Warren A., Jr.

Organisational Unit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering