%0 Conference Paper %1 conf/dac/MahzoonG0KD22 %A Mahzoon, Alireza %A Große, Daniel %A Scholl, Christoph %A Konrad, Alexander %A Drechsler, Rolf %B DAC %D 2022 %E Oshana, Rob %I ACM %K dblp %P 1183-1188 %T Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. %U http://dblp.uni-trier.de/db/conf/dac/dac2022.html#MahzoonG0KD22 %@ 978-1-4503-9142-9

@inproceedings{conf/dac/MahzoonG0KD22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Mahzoon, Alireza and Große, Daniel and Scholl, Christoph and Konrad, Alexander and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/2788d21341bd20e578b6d3a2df5811dac/dblp}, booktitle = {DAC}, crossref = {conf/dac/2022}, editor = {Oshana, Rob}, ee = {https://doi.org/10.1145/3489517.3530605}, interhash = {7ae2a367c269595481be91580ed237ad}, intrahash = {788d21341bd20e578b6d3a2df5811dac}, isbn = {978-1-4503-9142-9}, keywords = {dblp}, pages = {1183-1188}, publisher = {ACM}, timestamp = {2024-04-10T01:57:45.000+0200}, title = {Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2022.html#MahzoonG0KD22}, year = 2022 }