Saman Fröhlich, Rolf Drechsler. Generation of Verified Programs for In-Memory Computing. In 25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022. pages 815-820, IEEE, 2022. [doi]
@inproceedings{FrohlichD22-1,
title = {Generation of Verified Programs for In-Memory Computing},
author = {Saman Fröhlich and Rolf Drechsler},
year = {2022},
doi = {10.1109/DSD57027.2022.00114},
url = {https://doi.org/10.1109/DSD57027.2022.00114},
researchr = {https://researchr.org/publication/FrohlichD22-1},
cites = {0},
citedby = {0},
pages = {815-820},
booktitle = {25th Euromicro Conference on Digital System Design, DSD 2022, Maspalomas, Spain, August 31 - Sept. 2, 2022},
publisher = {IEEE},
isbn = {978-1-6654-7404-7},
}