Hua Xiang, Kai-Yuan Chao, Ruchir Puri, Martin D. F. Wong. Is Your Layout-Density Verification Exact? - A Fast Exact Deep Submicrometer Density Calculation Algorithm. IEEE Trans. on CAD of Integrated Circuits and Systems, 27(4):621-632, 2008. [doi]
Abstract is missing.