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

Datensatz Zitierlink:

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

Titel:

Sound and Automated Verification of Real-World RTL Multipliers

Zitat:

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

Publikationstyp:

Konferenzbeitrag - Full-Paper Contribution

Sprache:

Englisch

Autor_innen:

Temel, Mertcan
Hunt, Warren A., Jr.

Organisationseinheit:

E192-04 - Forschungsbereich Formal Methods in Systems Engineering