Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

by Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik
Published 2017-01-01

Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit

by Jure Vreca, Karl J. X. Sturm, Ernest Gungl, Farhad Merchant, Paolo Bientinesi, Rainer Leupers, Zmago Brezocnik
Published 2020-01-01