Zobrazeno 1 - 10
of 193
pro vyhledávání: '"Daniel Große"'
Autor:
Manfred Schlägl, Daniel Große
Publikováno v:
Proceedings of the Great Lakes Symposium on VLSI 2023.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c356d63016cb67b6037b359838f43943
https://doi.org/10.1145/3583781.3590253
https://doi.org/10.1145/3583781.3590253
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41:1573-1586
Formal verification of integer multipliers is one of the important but challenging problems in the verification community. Recently, the methods based on Symbolic Computer Algebra (SCA) have shown very good results in comparison to all other existing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::345713e4971eeba5c83277fb7711c2e0
https://doi.org/10.1109/tcad.2021.3083682
https://doi.org/10.1109/tcad.2021.3083682
Publikováno v:
Formal Verification of Structurally Complex Multipliers ISBN: 9783031245701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98fc3aa2608854c902b76440a06622e4
https://doi.org/10.1007/978-3-031-24571-8_2
https://doi.org/10.1007/978-3-031-24571-8_2
Publikováno v:
Formal Verification of Structurally Complex Multipliers ISBN: 9783031245701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::98090c97a58f79bbc108d4a362ad7c03
https://doi.org/10.1007/978-3-031-24571-8_4
https://doi.org/10.1007/978-3-031-24571-8_4
Publikováno v:
Formal Verification of Structurally Complex Multipliers ISBN: 9783031245701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::73a2902be0a479839d8e39a2faa028cf
https://doi.org/10.1007/978-3-031-24571-8_6
https://doi.org/10.1007/978-3-031-24571-8_6
Publikováno v:
Formal Verification of Structurally Complex Multipliers ISBN: 9783031245701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0bc877d073a32476072cae8269f489c5
https://doi.org/10.1007/978-3-031-24571-8_5
https://doi.org/10.1007/978-3-031-24571-8_5
Publikováno v:
Advanced Boolean Techniques ISBN: 9783031289156
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc71aa3c3fb7a73a2df4f68e4e8c0764
https://doi.org/10.1007/978-3-031-28916-3_5
https://doi.org/10.1007/978-3-031-28916-3_5
Publikováno v:
IEEE Embedded Systems Letters. 13:202-205
Recently, the critical compliance testing (CT) problem for reduced instruction set computer (RISC)-V has received significant attention. However, control and status registers (CSRs), which form the backbone of the RISC-V privileged architecture speci
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5685010fb29461312f88fc0053da079a
https://doi.org/10.1109/les.2021.3077368
https://doi.org/10.1109/les.2021.3077368
Publikováno v:
Formal Verification of Structurally Complex Multipliers ISBN: 9783031245701
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0b955aa639b8d69b1596d584ca9ba9bf
https://doi.org/10.1007/978-3-031-24571-8_9
https://doi.org/10.1007/978-3-031-24571-8_9