This paper is devoted to semiclassical estimates of the eigenvalues of the Pauli operator on a bounded open set whose boundary carries Dirichlet conditions. Assuming that the magnetic field is positive and a few generic conditions, we establish the simplicity of the eigenvalues and provide accurate asymptotic estimates involving Segal-Bargmann and Hardy spaces associated with the magnetic field.