We review the so-called spin Hall magnetoresistance (SMR) in bilayers of a magnetic insulator and a metal, in which spin currents are generated in the normal metal by the spin Hall effect. The associated angular momentum transfer to the ferromagnetic layer and thereby the electrical resistance is modulated by the angle between the applied current and the magnetization direction. The SMR provides a convenient tool to non-invasively measure the magnetization direction and spin-transfer torque to an insulator. We introduce the minimal theoretical instruments to calculate the SMR, i.e. spin diffusion theory and quantum mechanical boundary conditions. This leads to a small set of parameters that can be fitted to experiments. We discuss the limitations of the theory as well as alternative mechanisms such as the ferromagnetic proximity effect and Rashba spin–orbit torques, and point out new developments.

High-level synthesis (HLS) is increasingly popular for the design of high-performance and energy-efficient heterogeneous systems, shortening time-to-market and addressing today’s system complexity. HLS allows designers to work at a higherlevel of abstraction by using a software program to specify the
hardware functionality. Additionally, HLS is particularly interesting for designing field-programmable gate array circuits, where hardware implementations can be easily refined and replaced in the target device. Recent years have seen much activity in the HLS research community, with a plethora of HLS tool offerings,
from both industry and academia. All these tools may have different input languages, perform different internal optimizations, and produce results of different quality, even for the very same input description. Hence, it is challenging to compare their performance and understand which is the best for the hardware to be implemented. We present a comprehensive analysis
of recent HLS tools, as well as overview the areas of active interest in the HLS research community. We also present a firstpublished methodology to evaluate different HLS tools. We use our methodology to compare one commercial and three academic tools on a common set of C benchmarks, aiming at performing
an in-depth evaluation in terms of performance and the use of resources.