Estimation of pattern resolution using NaCl high-contrast developer by Monte Carlo simulation of electron beam lithography