Wigner Transformation for the Determinant of Dirac Operators