Publication
Generation of Verified Programs for In-Memory Computing
Saman Fröhlich; Rolf Drechsler
In: Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2022), August 31 - September 2, Gran Canaria, Spain, 2022.