Tag: hall effect sensor definition