This information is part of the Modelica Standard Library maintained by the Modelica Association.
Synchronous machine with permanent magnets at no-load, driven with constant nominal speed.
You may check the terminal voltage = VsOpenCircuit (shown by the length of the space phasor) and the frequency = fsNominal.
Additionally, you may check the phase shift of the stator voltages with respect to the mechanical shaft angle:
Note that the angle of the voltage space phasor is pi/2 behind the angle of the hall sensor, i.e. after a rotation of the shaft by pi/2/p the flux linkage of phase 1 is zero and the induced voltage a maximum.