An electric motor has a wound stator and a permanent magnet rotor. The method includes performing a first measurement of the partial pressure of the particular gas in the liquid at a first pressure in the measuring chamber. The programmatic design can be translated into a hardware description of the integrated circuit using the modeled global memory, the data flow, and the scheduled memory access.